>>187
帰納法の仮定:N-1点までは4配色可能である。
N−2で5色目が必要になる。これが仮定と反する。
>>188,>>191
1.1つ以上
2.12個以上
3.できない
4.1つ以上
5.12個以上
6.最終的に帰納法の仮定から言って、できない
7.最終的に矛盾はない