diagonality diagonalizability diagonalisability antidiagonal diagonalisation tridiagonality leading diagonal superdiagonal counterdiagonal diagonal element