Baire space
In the following version of the theorem, the domain formula_1 is not assumed to be a Baire space.