Jordan Normal Form Proof