Sea formula_32 un grupo de orden formula_31.