lukestein’s Twitter Archive—№ 13,622

@ben_golub Interesting to me you suggest induction in part two since my mind jumps to a constructive proof • 0 mod 3 = 3a • 1 mod 3 = 10 + 3a • 2 mod 3 = 5 + 3a Starting with a=0 gives every whole except 1, 2, 4, 7