 It follows that Ω0 = {"P"} so that, by the Lemma, |Ω| ≡ |Ω0| = 1 (mod "p").The problem of finding a Sylow subgroup of a given group is an important problem in computational group theory.One proof of the existence of Sylow "p"-subgroups is constructive