corollary.n.02

'corollary.n.02'

[corollary.n.02] as in: (logic) an inference that follows directly from the proof of another proposition