Die Ableitbarkeit bedeutet, dass es Ausdrücke β1,…,βn∈Γ{\displaystyle {}\beta _{1},\ldots ,\beta _{n}\in \Gamma } mit
gibt. Nach Fakt (1) ist
Aus Fakt (4) folgt durch Induktion sofort
und somit mit dem Kettenschluss
Dies bedeutet