Translation of "Lemma" in French

Lemma 5 cannot be generalized to arbitrary artinian rings.

Le lemme 5 ne peut pas être généralisé pour les anneaux artiniens quelconques.

Now, we show how this lemma can be used to prove our main theorem.

Montrons maintenant comment ce lemme peut être utilisé pour démontrer notre théorème principal.