[判断]  一个体系是有n个多余约束的几何不变体系，那么去掉n个约束后就成为无多余约束的几何不变体系。