corollary

noun

1.
a practical consequence that follows naturally
2.
(logic) an inference that follows directly from the proof of another proposition