Square matrix/C/Trigonalizable/Fact/Proof