theorem Th36: :: REVROT_1:36

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