>>50
大抵自明な強さとか以前にグラフ理論は自明でトリビアルな補題でしかない