Eckart-Young theorem