>>416
y∈Cx ⇒ y∈xH はそれでOK
逆も同様に