几何组成分析时，有多余约束就是几何不可变体系