В стране Севентаун семь городов, каждый из которых соединён дорогами более чем с двумя городами. Докажите, что из любого города можно доехать до любого другого (возможно, проезжая через другие города).
«Соединён дорогами более чем с двумя городами» означает, что из каждого города дороги ведут не менее чем в три других города.
Возьмём два любых города
Пусть
Из
Из
Если бы у
Значит, есть город
В обоих случаях из
Доказано: между любыми двумя городами есть путь — либо прямая дорога, либо через общий соседний город.
