Para verificar un cálculo, por ejemplo un producto: a = b×c, se miran los restos módulo 9, a', b' y c', y si a'≠b'×c' (mod 9) entonces el cálculo es erróneo.