判斷題在一個(gè)幾何不變體系中增加一個(gè)二元體，不改變原體系的幾何不變性。