corollary: (logic) an inference that follows directly from the proof of another proposition
inference: the reasoning involved in drawing a conclusion or making a logical judgment on the basis of circumstantial evidence and prior conclusions rather than on the basis of direct observation
infinitive: the uninflected form of the verb