The Cartan-Weyl basis obeys
For a highest-weight vector , and . Successive nonzero lowerings give the weight basis
Finite dimensionality requires the highest weight to be a nonnegative integer. The weights are , each with multiplicity one, so .
Starting from and applying the simple-root lowerings gives the four weights
Each has weight multiplicity one, so is the four-dimensional defining representation of .