棄七法

一種驗證自然數算術運算正確性的方法，其原理與棄九法相同。 棄七法利用了這樣一個事實：和（或積）的餘數（mod 7）必須等於被加數（或因子）的餘數的和（或積）。

例如，正確的和

(1)

對應於模 7 的餘數的正確和

(2)

其中，在右側，9 已被其模 7 的餘數 2 替換。

另一方面，不正確的和

(3)

導致餘數的不正確和

(4)

因為右側應為 0。

基於餘數比較的測試並非完全可靠，因為它們會遺漏一些未檢測到的錯誤（即，不正確的和可能會產生正確的餘數和）。 因此，對照 7 和 9 進行復核可能會有所幫助。