The proof that I know relies on two facts. First, if and T is a matrix with Hermitian adjoint T*, then . Second, if then . I'll also need the fact that a positive matrix has a positive square root .

Given positive definite (therefore invertible) matrices A and B with A – B > 0, it follows that . Therefore . Hence , from which .