Use the monomial basis , . Direct differentiation giveswith the endpoint terms zero. Repeated application therefore gives , while and . Each nilpotency index is exactly , soNextand hence . These real eigenvalues are distinct. A polynomial annihilates this operator exactly when it vanishes at all of them, givingThe commutator is diagonal in the displayed monomial basis. Since , are nonzero nilpotent linear map; a diagonalizable nilpotent map would have a diagonal matrix with all eigenvalues zero and thus be the zero map. Therefore only is diagonalizable. The calculation realizes raising and lowering on binary homogeneous polynomials.