K. Petr's Formula of Double Integral and Estimates of its Remainder