The alternating property implies
\(f (x_1, \dots , x_k)\)  vanishes on \(\operatorname{ad}L\) ,
cf. [1]},
so every substitution of \(f(\operatorname{ad}_{x_1}, \dots , \operatorname{ad}_{x_k})(y)\) 
vanishes.
