let f be rectangular special_circular_sequence; :: thesis: f is clockwise_oriented
ex D being non empty compact non horizontal non vertical Subset of st f = SpStSeq D by SPRECT_1:def 2;
hence f is clockwise_oriented ; :: thesis: verum