“2020 年，人类在火星上建立了一个庞大的基地群，总共有 $n$ 个基地……”

但是现在是2024年，还没有人类登上火星。