A simple yet useful one: An irreducible complex representation of a compact Lie group is either 'real', 'quaternionic', or 'complex'. That is, it is the complexification of a real irreducible, or it can be considered quaternionic through the existence of an equivariant conjugate-linear (real-)automorphism $j$ that squares to $-I$, or it is neither.

The statement combines Schur's Lemma and the fact that there are three associative real division algebras, here seen through complex eyes.