[renormalised (Carl)]

You would have to go there to prove or disprove in either case. Since a Martian city underground is, by definition, hidden from view, its existence or non existence cannot be proven. Or even hinted at, unless indirect evidence was found.