then A contains arithmetic progressions of any given length, meaning that for every positive integer k there are an integer a and a non-zero integer c such that \{a,a{+}c,a{+}2c,\ldots,a{+}kc\}\subset A.
