consider C being non empty compact non horizontal non vertical Subset of (TOP-REAL 2);
SpStSeq C is clockwise_oriented ;
hence ex b₁ being rectangular special_circular_sequence st b₁ is clockwise_oriented ; :: thesis: verum