Prova tramite diagonalizzazione