basic set theory proofs - Search