theorem Th6: :: GOBOARD9:7

for f being FinSequence of (TOP-REAL 2) holds Rev (X_axis f) = X_axis (Rev f)