BK-model-Plane is satisfying_CongruenceSymmetry