noun a practical consequence that follows naturally.
noun (logic) an inference that follows directly from the proof of another proposition.
Examples
“Finally getting that cracked window fixed was a nice corollary of redoing the whole storefront.”
“We have proven that this set is finite and well ordered; as a corollary, we now know that there is an order-preserving map from it to the natural numbers.”