299
правок
Изменения
→Лемма 2. Правило 3 заканчивает дело
{{Лемма|id=l2
|statement=
В любой фазе, если правило продолжения 3 применяется в продолжении <tex>i</tex>, оно будет реализовываться во всех дальнейших продолжениях(от <tex>i + 1</tex> по <tex>j + 1</tex>) до конца фазы.
<br />
|proof=
