proving the assertions Synonym