如果体系的计算自由度大于零，那么体系一定是几何可变体系。