Преобразование уравнения для численного решения

[Spook]

Ничего страшного, что я пользовался условием сжатия? Хотя вроде как логические переходы можно проводить в обе стороны...

--------------------
Что-то никто не хочет это читать будем считать, что доказательство пока более менее прилично.