Finite simple implies 2-generated

Definition
Any finite simple group is a 2-generated group: it has a generating set of size two. Note that since the simple abelian groups are cyclic of prime order, an equivalent formulation is that the minimum size of generating set of a finite simple non-abelian group is $$2$$.

Related facts

 * Finite minimal simple implies 2-generated: This was proved by Thompson as a simple consequence of the classification of finite minimal simple groups, and proved later by Flavell without using a classification.
 * Every finite group is generated by a solvable subgroup and one element
 * Finite almost simple implies 3-generated
 * Solvability is 2-local for finite groups