If you can build a viable Mars colony, to say nothing of a working O’Neil cylinder, then you can make domes habitats on Earth, and much more cheaply and easily

If you can build a viable Mars colony, to say nothing of a working O’Neil cylinder, then you can make domes habitats on Earth, and much more cheaply and easily than either of the prior two options, right?