[math-fun] SImple (?) number theory question