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

В общем, метод последовательных приближений допускает комплексный вектор, в итоге приходим к логическому противоречию.

Интеграл по ориентированной области накладывает комплексный математический анализ, откуда следует доказываемое равенство.