Debido a la condición de maximalidad, si "H" es un "p"-subgrupo de "G" entonces "H" es un subgrupo de un "p"-subgrupo de Sylow.