This is a slightly unusual approach to formulating and proving a crucial property of prime numbers.
Students can play the game a few times to focus their intuition, and then can try to use their work on Euclid’s algorithm and Buckets and ponds to prove that. There are several suggestions given to help structure a possible argument.