De Morgan's Laws (Set Theory)/Set Complement/Complement of Intersection/Proof 1