Dunque anche formula_117 non è diviso da "p", quindi gli addendi che compaiono nella sommatoria scritta precedentemente non possono essere tutti potenze di "p" .
Da ciò segue che esiste almeno un "j" tale che formula_118.
Questo significa che formula_119, e quindi che formula_120.
Sia "G" un gruppo, e sia |"G"|="p""k""m", con "p" ed "m" coprimi.