Aplicando el teorema de Sylow a formula_85 cuyo orden 12 es igual a formula_94 vemos que formula_85 debe tener subgrupos de ordenes formula_96, formula_97 y formula_98.