 Simplicity of alternating groups

The alternating group $A_n$ is simple for every $n\ge 5$. In particular it has no proper subgroup of index two, since every index-two subgroup is normal.