Eckart–Young theorem