The coefficients
are determined from the commutation relations as follows:
.
Moreover, because
is an automorphism of the root lattice we have
and so if
and
are equal to
, then so is
. But since this is true for the simple roots it remains true for all
roots.