These 3 puzzles involve the proof of a basic law governing the world of numbers known to be correct in all tested cases — the problem is to prove that the law is always correct. Includes van der Waerden's theorem on arithmetic progressions, the Landau-Schnirelmann hypothesis and Mann's theorem, and a solution to Waring's problem.