Calculer [formule].
Montrer que [formule] puis utiliser la multiplicativité des degrés.
[formule] car [formule] est irréductible sur [formule]. Montrons [formule]. Si [formule] avec [formule], alors [formule], d'où [formule]. Si [formule] : [formule], contradiction. Si [formule] : [formule], donc [formule], contradiction. Donc [formule]. Par multiplicativité : [formule]. [formule]