  We prove that double exponentiation is an upper bound to Ramsey theorem for
colouring of pairs when we want to predetermine the order of the differences of
successive members of the homogeneous set.
