[math-fun] Number theory question