La demostración se puede ver en el Apéndice "Teoremas de Sylow".