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

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