[ftxmzpzt] Simple proof of finite simple groups

The proof of the complete enumeration of finite simple groups is very long.  Does it have to be?  We imagine discovering some deep simplicity from which all the groups can be derived.