Prove the union axiom