set X = the non empty compact non horizontal non vertical Subset of (TOP-REAL 2);
take SpStSeq the non empty compact non horizontal non vertical Subset of (TOP-REAL 2) ; :: thesis: SpStSeq the non empty compact non horizontal non vertical Subset of (TOP-REAL 2) is clockwise_oriented
thus SpStSeq the non empty compact non horizontal non vertical Subset of (TOP-REAL 2) is clockwise_oriented ; :: thesis: verum