若平面体系的计算自由度W=，则该体系一定为无多余约束的几何不变体系