how to prove set identities - Search