[fogihujy]

Well, that solution is also perfectly applicable if we were to colonize a desert, or Antarctica, or the ocean floor. Still, all of those are easier than colonizing Mars even if we throw unprecedented amounts of resources at the problem.