:: deftheorem defines clockwise_oriented SPRECT_2:def 4 :
for f being FinSequence of (TOP-REAL 2) holds
( f is clockwise_oriented iff (Rotate (f,(N-min (L~ f)))) /. 2 in N-most (L~ f) );