Non-Abelian Simple Finite Groups are Infinitely Many

Theorem
There exist infinitely many types of group which are non-abelian and finite.

Proof
Follows directly from Alternating Group on n Letters is Simple except for n = 4.