for a, b being POINT of BK-model-Plane holds a,a equiv b,b