Proofs of Universal Statements: Mathematical Induction · Nested Statements (Optional)
Lesson 2
Theorem (van der Waerden, 1927). For any coloring of the set of positive integers in a finite number of colors, there exists an arbitrarily long monochromatic arithmetic progression.
=1/image0.png)