theorem Th8: :: WAYBEL_9:8
for T being non empty 1-sorted
for N being non empty NetStr over T holds N is_eventually_in rng the mapping of N