De manera inversa, cualquier subgrupo que tenga orden "p" será necesariamente un "p"-subgrupo de Sylow y además isomorfo a los demás "p"-subgrupos de Sylow.