\section{Diagonalizability}