>>961
＞A∩O=A∩V=φとなり x∈(O∩A)~
ってぱっと見ておかしいと思わないか？

A∩Oが空集合なのになんで(O∩A)~にxが含まれてんだ。