El converso al teorema---que haya un subgrupo para cada divisor del orden del grupo---no es válido.