established proof Synonym