theorem Th60: :: BKMODEL4:70

for a, b being POINT of BK-model-Plane holds a,a equiv b,b