定数とその他の場合では変域一致しない事の証明が異なるのでは?