For homogeneous polynomials P and Q of degree n, [P, Q] congruent sum_(i_1, ..., i_n>=0)(i_1 !...i_n !)(a_(i, ..., i_n) b_(i_1, ..., i_n)).