核验结果方程[#84]

把计算结果与预期式比较，可以检查差是否化简为零：

$0$

此处展示的是方程残差报告。残差为零意味着在当前支持的规则与事实下等式成立；它不会证明未被规则解释的任意恒等式。