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