[math-fun] number theory question