The Calculi LM and LJ

Since D was 1 -extrem e, A 0(D) does not contain cuts anymore. The length of T and T + is b, namely the depth of f; the length of L and Lg is a , and so the length of A 0(D ) here is at most a -j-b .