}}
РазумеетсяИз этого определения не очевидна корректность: почему полученная функция не зависит от порядка выкидывания рёбер? Однако, существование и единственность многочлена Татта ещё нужно доказать. Для того чтобы это сделатьесли определение корректно, покажем<tex> T_G </tex>, что многочлену Татта соответствуеточевидно, так называемыйявляется многочленом от двух переменных с целыми неотрицательными коэффициентами. Корректность мы докажем, '''ранговый связав многочлен''', который уже задаётся явной формулойТатта с другим многочленом - ранговым многочленом Уитни.
==Существование и единственность==
