Diagonalisability Criterion