Yup! If we're trying to compute 3256 % 7 and we know that 325 % 7 = 3, then 3256 % 7 = (325 * 10 + 6) % 7 = (3 * 10 + 6) Computing 10 % 7, 20 % 7 etc generate

Yup! If we're trying to compute 3256 % 7 and we know that 325 % 7 = 3, then 3256 % 7 = (325 * 10 + 6) % 7 = (3 * 10 + 6) Computing 10 % 7, 20 % 7 etc generates the white arrows. I think unless we're checking divisibility by primes, though, the white and black arrows won't share edges