This is awesome, although a bit in the old sense of the word, since it's scary to see entire courses I've taken distilled into one result that I probably couldn't even attempt to prove now.
aside: wonder why for group theory (51) Lagrange's theorem is only stated for cyclic subgroups, instead of any subgroup.