Статья 419

Значит, цикл закончится в состоянии. Значения соответственно должны быть равны. Что же получается. Если, например, при равенство не будет выполнено, значит, и при цикл, который, как мы показали, обязательно закончится, должен повлечь отсутствие равенства ввиду. То же самое верно. Иначе говоря, если для некоторого значения переменной цикла равенство не выполнено, рассчитывать на выполнение равенства тоже не приходится, коль скоро. Значит, если программа правильна, равенство должно иметь место при любом полученном в цикле значении. Обозначение 2 указывает на зависимость значения переменной от значения при данном есть число, присвоенное переменной. Без индексации в той или иной форме трудно обойтись - возникнут сложности с записью утверждений типа для конкретных.

закончится

закончится

С учетом конечности множества представимых на ЭВМ целых чисел эта последовательность также будет конечной в каждом конкретном случае.