corollary
名词 corollary:
a practical consequence that follows naturally
(logic) an inference that follows directly from the proof of another proposition