Let and be two Hermitian matrices, with positive semidefinite.
Let , , be the eigenvalues of and respectively, ordered in such a way that
Then