Data una matrice quadrata e dei suoi autovalori distinti, gli autospazi associati ad essi sono in somma diretta tra di loro.