第1625题：结果验算

设 $a$ 的各位数字之和为 $\overline{a}$ ，可以知道 $a$ 与$\overline{a}$ 模 9 同余，即

$a \equiv \overline {a} (\mod 9)$

如果有两个数 $a,b$ 的积是 $p$ ，且它们的各位数字之和分别是 $\overline{a}, \overline{b}, \overline{p}$ ，则由上式可以得到

$\overline{a}\overline{b} \equiv \overline{p} (\mod 9)$

通过以上方法可以快速验证一个两个大数的乘积是否正确，这种方法称为弃九验算法. 这个方法的特点是只能“检错”，不能“检对”.

用弃九验算法验证以下算式是否正确.

$25499 \times 32177685$ $=820496789815$

同样也可以验算加法、减法和除法运算.