theorem :: BKMODEL4:17

for P, Q being Point of BK-model-Plane st P <> Q holds
( length (P,P,Q) = 0 & length (P,Q,Q) = 1 )