for x being Nat st 2 <= x holds
1 < LenBSeq x