combinatorial proof Synonyms