theorem Th65: :: BKMODEL4:75

for P, Q being POINT of BK-model-Plane st BK_to_T2 P = BK_to_T2 Q holds
P = Q