“棄九法”是對乘法進行初步檢驗的一種方法，它利用了同餘 
(mod 9)。設十進位制數寫成 
, 
, 它們的乘積為 
。設這些數的數字之和分別為 
, 
, 和 
。那麼 
, 
, 並且 
。此外，
，所以 
。因此，如果 
和 
模 9 不同餘，則乘法運算有誤。
例如，
。12345 和 67890 的數字之和分別為 15 和 30，它們的乘積為 450。同樣，838102050 的數字之和為 27。並且 
，因此檢驗結果一致。
棄九法也是一種加法檢驗，因為 
，以及減法檢驗，因為 
。它也可以用作除法檢驗 
(即，
因為 
。
棄九法由阿拉伯人傳入歐洲，但可能起源於印度次大陸的某個地方，因此有時也稱為“印度檢驗法”，“印度”僅指印度次大陸的人民。
斐波那契在他的《Liber Abaci》中描述了該程式（Wells 1986，第 74 頁）。
