Theorem
(Kriz)
.
If
X
hs a soluble, transitive symmetry group, then
X
is
Ramsey
.