Proof. This can be given a combinatorial proof (see [24]), but we will indicate an algebraic one to illustrate the method. First one uses (5) and Proposition 1.1 to convert the equality into an equivalent statement about polynomials in X and Y . This statement can then be easily veried by algebraic manipulations.