>>60
あの証明は「2〜5辺国が地図の中に1個でもあればいい」から

地図の中に6辺国が100個、7辺国が1000個ある地図でも、
2辺国(or 3〜5辺国)がたった1個含まれていれば
そこを起点に証明できる、という話