Theorem 3.6. Assuming that:

Then X is spherical.