Matrix/Equivalent/Eigenvalue/Fact/Proof
Proof
This follows from
fact
.
To fact