Let be a matrix.
We define

Lemma

For symmetric positive definite: