Alternatively, it might be possible to derive it by taking a closer look on how the rules interact and proof are formed.
Alternativ kann man ihn möglicherweise durch einen genaueren Blick darauf, wie die Regeln zusammenwirken und die Beweise geformt sind, auch herleiten.