theorem Th23: :: JGRAPH_1:23

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