如果体系的计算自由度小于或等于零，那么体系一定是几何不变体系