Sean formula_1 un grupo, formula_3 un subconjunto no vacío de formula_1 y formula_13 un subgrupo de formula_14 Sean formula_25 elementos de formula_1 tales que formula_27 está en formula_3 o su inverso está en formula_3 .