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 is Simple.