火星はないとして