[Ice 002] 数学 式 安全性 一致