Jordan Normal Form Theorem