A question about the requisites for this page: should The alternating group on five elements is simple be a requisite? It's necessary for the base case of the induction, but one can probably understand the proof without it, simply referring to it as a known fact.