古代の火星ではクレーターにできた湖の氾濫が谷の形成に大きな役割を果たした可能性