theorem Th14: :: FINSEQ_3:14

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