theorem Th36: :: REVROT_1:36

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