demonstrative proof Synonym