31.18 에카르트-영 정리(Eckart-Young Theorem)의 진술과 증명