内田の証明だけど、
Δ(W,a)≠φが前提で議論が進んでるな
これは注意しないと行けない