同じ論法で4色も必要ないことが示される