theorem :: BKMODEL4:78

BK-model-Plane is satisfying_BetweennessIdentity