Subsection II.2.3.4

Diagonalisability criterion