theorem Th08: :: BKMODEL4:15

for P, Q being Point of BK-model-Plane st Tn2TR (BK_to_T2 P) = Tn2TR (BK_to_T2 Q) holds
P = Q