On montrera que la somme est directe et que la dimension

de est , pour en déduire que ,

ce qui entraînera l'égalité demandée.