Definitions of similarity and diagonalization (using a similarity):
finish the proof of the Theorem: similarity implies
charact. pols are the same; (but converse does not necessarily
hold, i.e. when the 'geometric multiplicity of the eigenvalues are not
the same)