The alternating groups of degree 5 or greater are simple (source code)

= 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)