complete proof Synonym