Anteriormente, afirmamos que no siempre era cierto que para cada divisor del orden de un grupo haya un subgrupo que tenga como orden ese divisor (ver ejemplo más adelante).