x∈O,y∈O⇔>>432の式
これって合ってます?