If we could send all the terraformers from earth to mars we would so solve both problems at the same time