 Generation by fundamental representations

If $\lambda ={\sum }_i{m}_i{\omega }_i$ is dominant integral, the tensor product ${⨂}_{i}V({\omega }_i{)}^{\otimes m_i}$ contains $V(\lambda )$ as the irreducible summand generated by the tensor product of highest-weight vectors.