> -- Trurl писал(а):
> Ну, разве что: "мамой клянусь, завершим".

Драсте. А как мы доказываем, когда циклы пишем? Что вектор переменных сойдётся к условию цикла.
Понятное дело, что если цикл запутанный, то это трудно, но можно и "распутать" - и показать, что либо он правилен, либо нет.