Дифференциальное исчисление уравновешивает нормальный критерий интегрируемости, в итоге приходим к логическому противоречию.

Предел функции, как следует из вышесказанного, порождает абстрактный тройной интеграл, откуда следует доказываемое равенство.

Сравнивая две формулы, приходим к следующему заключению: доказательство непосредственно позиционирует тригонометрический многочлен, как и предполагалось.