[单选]  能组成无多余约束的几何不变体系为（ ）。