This fails if J is not connected.
これはJが連結でない場合は正しくない。