check multiplication by digit sums mod 9 · 10^n ≡ 1 (mod 9) for all n · century-old trick · runs locally