SiG es un grupo de ordenm yn dividem, entoncesG no necesariamente posee un subgrupo de ordenn. Por ejemplo,A4 tiene orden12 pero no posee un subgrupo de ...SiG es un grupo de ordenm yn dividem, entoncesG no necesariamente posee un subgrupo de ordenn. Por ejemplo,A4 tiene orden12 pero no posee un subgrupo de orden6. Sin embargo, los Teoremas de Sylow proporcionan un parcial converse para el Teorema de Lagrange, en ciertos casos nos garantizan subgrupos de órdenes específicas.