Prove A = B of and only if  \sim A = \sim B


Is the first step assume  x \epsilon A ????