categorical proof Synonym