theorem Th40: :: JORDAN1H:40

for p being Point of (TOP-REAL 2)
for f being non constant standard special_circular_sequence st Rotate (f,p) is clockwise_oriented holds
f is clockwise_oriented