for S being non empty satisfying_Tarski-model TarskiGeometryStruct
for a, b being POINT of S st ( Middle a,a,b or Middle a,b,b or Middle a,b,a ) holds
a = b