theorem Th10: :: TOPREAL8:10

for f, g being FinSequence holds rng f c= rng (f ^' g)