for k being Nat holds Seg k misses {(k + 1)}