Teorema 1.28 "Si formula_126 y formula_223 son subgrupos finitos de un grupo formula_24, entonces"