studying proof Synonym