for S being non empty TarskiGeometryStruct holds
( S is satisfying_Continuity_Axiom iff S is (Co) )