Статья 415

Затем в строке будет проверено условие и, так как оно истинно, произойдет переход к строке, завершающей программу для любого, что и требовалось.
Пусть теперь при выполнение строки закончится переходом к окончанию программы и будет присвоено значение 0. Но следует, откуда. Начиная со следующей строки.
На самом деле строка является излишней в том смысле, что программа останется правильной и после ее исключения. Цель введения этой строки предотвратить бесплодное вычисление. 0 в цикле, который будет повторяться напрасно много раз при больших, мы попадаем в цикл нашей программе цикл должен завершиться поскольку никаких других команд, которые могли бы изменить значение после выполнения команд цикла, в программе нет оператор, понятное дело, не в счет. Это возможно лишь в том случае, если условие окончания цикла. Но может принимать любые значения из последовательности.