For the sake of completeness, we proceed to answer the next challenge. Given
a prime PN, can we find Smith multiples of PN using small-digit multipliers and
carry-free multiplication? Of course, Theorem 2.3 already suffices for the cases
where N mod 7 = 0, 2, 3, 6. The next proposition provides another part of the
answer.