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