Schur's lemma states in its basic version, that the only endomorphisms of a finite dimensional, irreducible representation over an algebraically closed field are scalars.
It is maybe one of the most useful results in representation theory, however its proof fits into a single line:
Each endomorphism has an eigenvalue and eigenspaces are sub-representations.
