Крупным марсианским кратерам присваивают традиционно имена ученых, более же мелким — название городов различных стран. Читая только названия, можно с точностью до разряда определить размер кратера. Как?