Prove Non-Subset Union Contains Element