Let be a matrix. We define

Lemma

For symmetric positive definite: