Статья 390

Выполнение программы начинается с проверки условия. Если оно ложно стрелка, значит, не делится на и переменной приписывается. Так как в этом случае, второе проверяемое условие также ложно, поэтому на печать выдается вариант не делится, после чего программа заканчивает работу останов.
Если, напротив, у истинно стрелка, получает значение. Если 0, также равно 0. Тогда условие истинно и, так как, попадаем на вариант делит и останавливаемся. Так и должно быть, поскольку 0 делится на любое число. Но если и условие 20 оказывается ложным. В этом случае вычитаем из и снова возвращаемся к условию. Если вновь, повторяем вычитание. Если в конце концов окажется истинным, перейдем к проверке условия и в зависимости от результата проверки получим либо вариант делит, либо вариант не делит.
Теперь ясно, что утверждение, поиском которого мы занимались, - это просто утверждение.