for S being non empty satisfying_Tarski-model TarskiGeometryStruct
for b, c, p being POINT of S holds Middle reflection (p,c), reflection (p,b), reflection (p,(reflection (b,c)))