Irreducible quotient of a Verma module

The sum of all proper submodules of $M_{\lambda }$ is its unique maximal proper submodule. The quotient is the unique irreducible highest-weight module $V(\lambda )$.