Die Voraussetzung bedeutet, dass es Ausdrücke α 1 , … , α m , β 1 , … , β n ∈ Γ {\displaystyle {}\alpha _{1},\ldots ,\alpha _{m},\beta _{1},\ldots ,\beta _{n}\in \Gamma } mit
und mit
gibt. Daraus ergibt sich mit Hilfe (der Regelversion) von Fakt (2)
mit
