Adam has a secret natural number x which Eve is trying to discover. At each stage Eve may only ask questions of the form "is x+n a prime number?" for some natural number n of her choice.Prove that Eve may discover x using finitely many questions. number theorycombinatoricsInfo