for n being Nat holds id (Seg n) is even