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