数学代数的锁定性质:证明,示例 - 数学 - 2025