theorem :: BKMODEL4:77

BK-model-Plane is satisfying_SegmentConstruction by Th64;