Lemma 3.2. Assuming that:

Then X×Y⊂ℝn+m is also Ramsey.