theorem :: BKMODEL3:38

BK-model-Plane is satisfying_CongruenceSymmetry