[formule]
Factoriel (par le lemme de Gauss et la factorialité de [formule]), mais l'idéal [formule] n'est pas principal : si [formule], alors [formule] et [formule], donc [formule], mais [formule] car [formule].