theorem :: BKMODEL4:79

BK-model-Plane is satisfying_Pasch