. . . . . . "A partition theorem for pairs of finite sets"@en .