[判断]  2.只有无多余约束的几何不变体系才能做结构