let f be rectangular special_circular_sequence; :: thesis: f is clockwise_oriented
consider D being non empty compact non horizontal non vertical Subset of (TOP-REAL 2) such that
A1: f = SpStSeq D by SPRECT_1:def 2;
thus f is clockwise_oriented by A1; :: thesis: verum