Proof: De Morgan's Laws for Sets