連結グラフGに閉路が存在する?