205
правок
Изменения
м
→Сохранение кратчайших путей
{{Лемма
|statement=
Пусть <tex>P,\; Q : a \rightsquigarrow b.\; </tex> и <tex>w(P) < w(Q).</tex>. Тогда <tex>\forall \phi: \; w_\phi(P) < w_\phi(Q)</tex>
|proof=
:<tex>P: \;u_0 \rightarrow u_1 \rightarrow u_2 \rightarrow ... \rightarrow u_k </tex>
