proofs of general identities sets - Search