火星がもう少し大ききれば水が蒸発することはなかったわけだし