Words: corollary
Part of speech: n
Definition: (logic) an inference that follows directly from the proof of another proposition