最高効率の最小ループが4マス以上と仮定
二部グラフよりループ部分は偶数長となり、自明パズルで矛盾が導けたため