Sylow Theorems/Historical Note/First Sylow Theorem

Historical Note on First Sylow Theorem
himself did not actually state the First Sylow Theorem as it is stated here.

His contribution was in fact merely to demonstrate the existence of what is now known as a Sylow $p$-subgroup.

The more general version, that there exists a subgroup of order $p^n$ for all $p^n \divides \order G$, was deduced later.