Source: /cirosantilli/the-alternating-groups-of-degree-5-or-greater-are-simple

= The alternating groups of degree 5 or greater are simple

https://www.youtube.com/watch?v=U_618kB6P1Q GT18.2. A_n is Simple (n ge 5) by <MathDoctorBob> (2012)