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