Union with Empty Set/Proof 1