Matrix/Equivalent/Eigenvalue/Fact/Proof

Proof

This follows from fact.