Solution (source code)

= Solution

A <dominant weight> has nonnegative Dynkin labels. A <dominant integral weight> additionally lies in the <weight lattice>, so all those labels are nonnegative integers.