Eckart-Young Theorem for Compact Operators