basic form vs theorem

basic form

• The uninflected form of a word used as a dictionary entry. 

theorem

• A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas. 

• A syntactically correct expression that is deducible from the given axioms of a deductive system. 

• A mathematical statement that is expected to be true 

• To formulate into a theorem.