全不連結ならば非連結の証明教えてくれ