Lemma 3.2.
Assuming that:
X
⊂
ℝ
n
Ramsey
Y
⊂
ℝ
m
Ramsey
Then
X
×
Y
⊂
ℝ
n
+
m
is also
Ramsey
.