contradicts the fact that ρ is a nontrivial representation. This contradiction proves the theorem. References James, Gordon; and Liebeck, Martin (2001). Representations and Characters of Groups (2nd ed.). Cambridge University Press. . See chapter 31. Theorems about finite groups