Il Teorema A fornisce condizioni per cui il numero delle soluzioni dell'equazione \( x^{{p}^{ k}} = 1 \) in un gruppo finito è divisibile per \( p^{n + k} \) dove \( n \) è un fissato intero positivo. Il Teorema B, che è dovuto a Avinoam Mann, è una generalizzazione del teorema di Sylow. Si prova nei teoremi C e D che le congruenze relative al numero dei sottogruppi ciclici di ordine \( p^{k} \) note per i gruppi abeliani valgono in effetti per classi più ampie di gruppi finiti, ad esempio per gruppi a sottogruppi di Sylow abeliani.