 Cyclic trace identity between adjacent weight spaces

For linear maps $E:U\to W$ and $F:W\to U$ between finite-dimensional vector spaces, ${\mathrm{tr}}_U(FE)={\mathrm{tr}}_W(EF)$ even when their dimensions differ; expanding rectangular matrices proves it. For root vectors normalized by $[E_{\alpha },F_{\alpha }]=t_{\alpha }$, with $B(t_{\alpha },h)=\alpha (h)$, this gives $T_{\alpha }(\mu )=T_{\alpha }(\mu +\alpha )+(\mu +\alpha ,\alpha )\dim V_{\mu +\alpha }$. Iteration along a finite weight string is the trace step in Freudenthal multiplicity formula.