proving a theory Synonym