theorem Th40: :: SPPOL_2:40

for f being FinSequence of (TOP-REAL 2) st f is special holds
Rev f is special