dokładnością do niejednoznaczności Gribowa) dostaniemy po ustaleniu cechowania, czyli narzuceniu dodatkowych <br>&lt;page nr=56&gt;<br>warunków na &lt;gap&gt;. W lagranżjanie oznacza to dodanie wyrazów, które w równaniach ruchu narzucają te dodatkowe warunki. Oznaczmy te warunki przez Ga(A)-mamy wtedy <br>&lt;gap&gt;<br>gdzie ba(x) są mnożnikami Lagrange'a. (Stosuje się często, zwłaszcza w teorii kwantowej, "rozmycie" warunku cechowania poprzez dodanie do (4.94) funkcji b, najczęściej kwadratowej). Działanie w tej postaci nie jest już oczywiście niezmiennicze ze względu na lokalną transformację cechowania (4.93). Jednak pewne uogólnienie powyższej procedury ustalania cechowania pozwala na wykazanie, że działanie to jest niezmiennicze ze względu na globalną (niezależną od punktu czasoprzestrzeni) transformację