theorem Th24: :: JGRAPH_1:24

for f, g being FinSequence of (TOP-REAL 2) st f is special & g is_Shortcut_of f holds
g is special