theorem :: MATRIX_1:16

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