几何不变体系且无多余约束的体系 其自由度必为零?