unchallengeable proof Synonym