P

Initializing...

Lemma 5.3, proof — a projection matrix has $\mathrm{trace}(A) = \mathrm{rank}(A)$ · Prove2Me