공집합이 아닌 집합 A와 B가 상등이 아니다 라는 것을 보일때

∃x(x∈A and ~(x∈B)) 하나만 보여도 됨?