proof by contraposition Synonyms