一个体系是有n个自由度的几何可变体系，那么加入n个约束后就成为无多余约束的几何不变体系。