Union is Empty iff Sets are Empty/Proof 1