Theorem 1.5. Assuming that:

  • ℕ(r) abitrarily coloured

Then we can find an infinite set M and I⊆[r] such that for any x1<x2<⋯<xr in M, and y1<y2<⋯<yr in M we have c(x1x2⋯xr)=c(y1y2⋯yr) if and only if xi=yi for all i∈I.