Lemma 3.2. Assuming that:

Then X×Yn+m is also Ramsey.