Union of Disjoint Singletons is Doubleton/Proof 2

Proof
Straightforward from Union of Unordered Tuples.