A nonabelian simple group is a perfect group, so every one-dimensional group representation, a homomorphism to the abelian group , is trivial. Thus a nontrivial irreducible Brauer character cannot have degree .
Suppose instead that its representation has dimension , working over a splitting extension if necessary. Its determinant is a one-dimensional representation and is therefore trivial. Its kernel is a normal subgroup, and the representation is nontrivial, so simplicity makes it faithful. Consequently embeds in .
We use the Feit–Thompson theorem: every finite group of odd order is solvable. Therefore this nonabelian simple group has even order, and Cauchy's theorem for finite groups supplies an involution . In odd characteristic, its representing matrix satisfies and is diagonalizable with eigenvalues in . Since , it is or . Faithfulness excludes , so acts as the scalar matrix . It commutes with the whole image; faithfulness then makes central in , contradicting nonabelian simplicity. Hence .
The odd order theorem is the deep standard group-theoretic input in this proof; its use is explicit rather than hidden in an unsupported assertion that has an involution.