A sophisticated proof of the multiplication formula for multiple Wiener integrals

We prove that the formula which gives the Wiener chaos decomposition of the multiplication of two multiple Wiener integrals with symmetric kernels is a straightforward application of the Leibniz’ formula.