theorem Th64: :: BKMODEL4:74

for a, q, b, c being POINT of BK-model-Plane ex x being POINT of BK-model-Plane st
( between q,a,x & a,x equiv b,c )