平面几何中的“同一法”，Identity law.?