>>43
背理法を使った帰納法です。
5色目が必要になるが背理法で、全体は帰納法です。