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