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