On note , , .

On démontre d'abord que est une famille génératrice de , puis en utilisant un théorème du cours, on pourra conclure.