We prove that for any n e N+, [\E] hypo, 0 hypo2 H a With application of associativity and commutativity rules the resulting sequent can be rearranged so that all hypotheses occur in one minimal subsequent (for example, s o ( ((hypo and any permutation of this as well, by commutativity and associativity.
u{(s, a, ci + 1 )Perm I, 1 < < n} C L(Gn ), for any 72 E N+.