theorem Th29: :: REVROT_1:29

for p being Point of (TOP-REAL 2)
for f being constant standard special_circular_sequence holds Rev (Rotate (f,p)) = Rotate ((Rev f),p)