判斷題在一個幾何不變體系中增加一個二元體,不改變原體系的幾何不變性。