金星を冷やすほうが簡単なのに、なんでみんな熱源もない火星を暖めようとか考えるかな?