diagonalization (1)