Proving Set identities calculator