13
правок
Изменения
Нет описания правки
#<tex> R(L(v))>R(v) </tex>
#Между <tex> v </tex> и <tex> P(v) </tex> существует путь вида: <tex> v \rightarrow L(v) \rightarrow L(L(v)) \rightarrow \dots \rightarrow P(v) </tex>
Записав неравенство из первого пункта вдоль пути из второго пункта , получаем требуемое.
}}
