# In Search Of Elementary Proof Of Kobayashi's Theorem

There is a theorem in Number Theory due to Hiroshi Kobayashi (possibly less famous). The statement of this theorem is quite simple-looking. The original proof of Kobayashi relies on Siegel's Theorem in Diophantine Geometry, which is a deep theorem in Geometry of Numbers.

Statement of Kobayashi's Theorem -

Let $$M$$ be an infinite set of positive integers such that the set of prime divisors of the numbers in $$M$$ is finite. Then the set of primes dividing the numbers in the set $$M+a:= \{ m + a \: | \; m \in M \}$$ is infinite, where $$a$$ is a fixed non-zero integer.

Does there exist any elementary proof of this result(elementary in the sense that the proof must not include any application of geometry of numbers or Diophantine geometry)?

The original paper of Hiroshi Kobayashi can be found here

• In Musings on the Prime Divisors of Arithmetic Sequences Morton gives an elementary proof of a weaker result and states:"It can also be deduced from a striking theorem of H. Kobayashi... Can Kobayashi's theorem be proved in an elementary way? I do not know." Dec 16, 2019 at 10:40