Finite minimal simple implies 2-generated

History
This fact was first proved by Thompson as a consequence of the classification of finite minimal simple groups. It was later proved by Paul Flavell without using the classification.

Statement
Any finite minimal simple group is a 2-generated group: it has a generating set of size two.

Related facts

 * Finite simple implies 2-generated
 * Finite almost simple implies 3-generated

Facts used

 * 1) uses::Classification of finite minimal simple groups