>>938
よくわからないですが

x∈A'∧Mとする

x∈A'∧Mより∀W:W(x)∩A≠Φ

A'∧M⊂V'よりx∈V'
したがって∀W:W(x)∩V≠Φ
さらに∀W:W(x)∩V'≠Φ

以上より∀W:W(x)∩V'∩A≠Φ
つまりx∈(A∩V')'

こんな感じですか。