theorem Th22: :: JGRAPH_1:22

for f, g being FinSequence of (TOP-REAL 2) st g is_Shortcut_of f holds
rng g c= rng f