for k being natural Number holds id (Seg k) is FinSequence of NAT