ID

le produit étant étendu à tous les idéaux premiers w de e(Ç)=|=I.

Démonstration. — Vu les hypothèses, \>. peut être mis smis la forme d'un produit de nombres primaires d'idéaux premiers di\isé parla / "'""' puissance d'un nombre de cQ). Si v est en particulier égal à un nombre primaire y. d'un idéal premier q de

deuxième espèce, le lemme résulte immédiatement des le ss i.6 el '17. c'est-à-dire

qu'on a, avec L'hypothèse faite sur \>.,