 Finite sl2 lowest-weight ladder

In a finite-dimensional representation of an sl2 triple, start with a nonzero vector $X_0$ satisfying $f{X}_0=0$ and $h{X}_0=-\lambda X_0$, and set $X_n=e^n{X}_0$. The commutator identities give the displayed weight and lowering formulas by induction. If $X_N\ne 0$ and $X_{N+1}=0$, then $f{X}_{N+1}=(N+1)(\lambda -N)X_N$ forces $\lambda =N$, a nonnegative integer. The nonzero terminal vector is essential: choosing a later index after the ladder has already vanished gives no constraint. Applied to the Adjoint representation of a semisimple Lie algebra, this argument proves integrality of Cartan integers.