Color-focused arithmetic progression (source code)

= Color-focused arithmetic progression

Several monochromatic <arithmetic progression>[arithmetic progressions] are color-focused when they have different colors and extend by one further term to the same point. Such focused families give an elementary induction proof of the length-three case of the <Van der Waerden theorem>.