Como el grupo multiplicativo de formula_631 es cíclico y de orden formula_634, y como formula_639 divide a dicho orden (por el lema), se concluye hay un subgrupo de orden formula_639 del grupo multiplicativo formula_631.