弃七法

一种验证自然数算术运算正确性的方法，其原理与弃九法相同。 弃七法利用了这样一个事实：和（或积）的余数（mod 7）必须等于被加数（或因子）的余数的和（或积）。

例如，正确的和

(1)

对应于模 7 的余数的正确和

(2)

其中，在右侧，9 已被其模 7 的余数 2 替换。

另一方面，不正确的和

(3)

导致余数的不正确和

(4)

因为右侧应为 0。

基于余数比较的测试并非完全可靠，因为它们会遗漏一些未检测到的错误（即，不正确的和可能会产生正确的余数和）。 因此，对照 7 和 9 进行复核可能会有所帮助。