今、グラフの無限個の点が "v"2からの "v"1を通らない単純道で到達できる。