unambiguous proof Synonym