Let be the basis defined in Lie algebra, and be the quadratic Casimir element. Now consider a representation on a finite-dimensional vector space , which we will invoke implicitly. Let such that

Then

are Ladder operators of . It follows that transforms in the same irrep as . Since is finite dimensional this must terminate at both ends, hence there exist such that

In addition since

it follows

and thus

hence

and since we have and . Now since , we have dimensional irreps of labelled by . Now assume has a corresponding group representation . Then

which is a contradiction unless and thus .¹