Изменения
→Существование и единственность
Далее, разберём несколько случаев:
# Пусть <tex> e </tex> петля. Тогда <tex> \rho ^{*}(A') = \rho ^{*} (A) </tex> и <tex> \overline{\rho} (A') = 1 + \overline {\rho} (A) </tex>. Тогда <tex> u^{\rho^* (A')}v^{\overline {\rho} (A')} = u^{\rho^* (A)}v^{1 + \overline {\rho} (A)} = vu^{\rho^* (A)}v^{\overline {\rho} (A)} </tex>, откуда <tex> u^{\rho^* (A)}v^{\overline {\rho}(A)} + u^{\rho^* (A')}v^{\overline {\rho} (A')} = (v + 1)u^{\rho^* (A)}v^{\overline {\rho} (A)} </tex>. Вынося <tex> (v + 1) </tex> за скобки, получаем <tex> R_G(u, v) = (v + 1)\sum\limits_{A \subset {E \backslash {e}}} u^{\rho^* (A)}v^{\overline {\rho}(A)} = </tex> <tex> = (v + 1) R_{G \backslash e}(u, v)</tex>. Это соответствует первому соотношению Татта.
# Пусть <tex> e </tex> мост. Тогда <tex> \rho ^{*}(A) = \rho ^{*} (A') + 1 = \rho ^{*}_{1} (A') </tex> и <tex> \overline{\rho} (A) = \overline {\rho} (A') = \overline {\rho _1} (A) </tex>
}}
