theorem :: BKMODEL3:39

BK-model-Plane is satisfying_CongruenceEquivalenceRelation