theorem :: REVROT_1:38

for f being constant standard special_circular_sequence holds
( f is clockwise_oriented or Rev f is clockwise_oriented )