theorem EquivReflexive: :: GTARSKI1:10

for S being satisfying_Tarski-model TarskiPlane
for a, b being POINT of S holds a,b equiv a,b