De negenproef is een toepassing van het modulo-rekenen, en bestaat erin alle getallen van een berekening eerst modulo 9 te reduceren tot een getal kleiner dan 9, en dan de berekening op die getallen toe te passen. Als de resultaten modulo 9 niet overeenstemmen, is er in de berekening een fout gemaakt. Stemmen de resultaten wel overeen, dan is men nog niet geheel zeker van een juiste berekening. De proef is dus niet waterdicht. Wel is men zeker van een rekenfout als de uitkomst van de proef niet klopt. (akoe)