As noted above, the final result τ {\displaystyle \tau } has to be generalized to Γ ¯ ( τ ) {\displaystyle {\bar {\Gamma }}(\tau )} in the end, to gain the most general type for a given expression.
Wie oben angemerkt, ist das Ergebnis τ {\displaystyle \tau } am Ende noch einmal zu Γ ¯ ( τ ) {\displaystyle {\bar {\Gamma }}(\tau )} zu generalisieren, um den Haupttyp für einen gegebenen Ausdruck zu erhalten.