Matrix/Equivalent/Eigenvalue/Fact/Proof

< Matrix < Equivalent < Eigenvalue < Fact
Proof

This follows from fact.