K. Petr’s formula, Appell polynomial, harmonic polynomial, single integral, double integral, estimate of remainder