二酸化炭素を固形化して火星にもっていくことができれば…