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