https://groupprops.subwiki.org/wiki/Subgroup_structure_of_alternating_group:A4