Eckart–Young–Mirsky Theorem