>>415
背理法で示すのだったような
「すべての接点の次数が正なら、ループが存在する」