9
The main reason for posting this was to answer it, thus collecting all this stuff in a single place for future reference -- and present too.
The first item on this proof is that a linear operator on a finite-dimensional complex vector space admits an upper triangular representation. This is prov...