theorem Th55: :: GRAPH_2:55

for f being FinSequence holds f ^' {} = f