"prove formally; demonstrate by a mathematical, formal proof" . "Wordnet Synset 00667548-v" . .