Text
Casting out nines checks a multiplication by comparing the remainders on division by (obtained by repeatedly summing the digits). Apply casting out nines to the product : compute the remainder modulo of the two factors and of the result, and check that they match.
Solution
Sum the digits (the remainder modulo is unchanged):
- product of the remainders:
The two values agree (): the check passes, with common remainder . (Note: the check does not guarantee correctness, but a failure certainly signals an error.)