Schreier conjecture

Statement

The outer automorphism group of a finite simple non-Abelian group is a solvable group.

This was conjectured by Schreier, and is true. It follows, for instance, from the classification of finite simple groups.