24.20. Tétel
A Hn halmaz valódi részcsoport prímhatvány esetben
Legyen n\gt 1 tetszőleges páratlan összetett egész szám, amely prímhatvány, H_n pedig a 24.16. Tételben definiált részcsoport. Ekkor H_n valódi részcsoport (\Z/n\Z)^{\times}-ben, azaz
H_n\lt (\Z/n\Z)^{\times}
♣