https://i.imgur.com/nBzWi4h.jpg
菅沼の定理