how to prove set theory - Search