[¦van ·dər ′werd·ənz ‚thir·əm] (mathematics) The theorem that for any positive integers k and r there is a positive integer n such that, if the first n integers are divided into k classes, then there exists an arithmetic progression of r terms that all belong to the same class.