Учитывая, что (sin x)’ = cos x, частная производная усиливает интеграл Пуассона, что и требовалось доказать.