0064132人目の素数さん垢版 | 大砲2022/07/29(金) 12:28:28.13ID:z/+CSyDu >>60 あの証明は「2〜5辺国が地図の中に1個でもあればいい」から 地図の中に6辺国が100個、7辺国が1000個ある地図でも、 2辺国(or 3〜5辺国)がたった1個含まれていれば そこを起点に証明できる、という話