theorem ThMak1: :: GTARSKI3:128

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