Lemmas REF  and REF  are proven in [1]}, [2]}. The other lemmas are in the \(\frac{\pi }{2}\) -fragment and hence are derivable by completeness of this fragment, since the axiomatisation from [3]} can easily be recovered from Lemma REF .

Леммы REF и REF доказаны в [1], [2]. Другие леммы находятся в \(\frac{\pi }{2}\) -фрагменте и, следовательно, могут быть выведены из полноты этого фрагмента, так как аксиоматика из [3] может быть легко восстановлена из леммы REF.