underlining the proof Synonym