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(x1x2xr)=c(y1y2yr) if and only if xi=yi for all iI.