几何不变且无多余约束的体系其自由度必定等于零。