The short-root Weyl reflection interchanges and , because and . Hence
The Weyl group orbit of the highest weight occurs in with a one-dimensional extremal weight space. Let be a nonzero vector of weight . The same reflection exchanges the long simple roots: and . If an raising operator did not annihilate , then would be a weight of ; applying would make a weight, contradicting the fact that is the highest weight.
Thus is an highest-weight vector of weight . The Complete reducibility of semisimple Lie algebra representations then supplies the corresponding irreducible summand, so