WordNet: corollary

(logic) an inference that follows directly from the proof of another proposition

• domain: topic logic

• hypernym illation, inference

corollary

• (suomi) korollaari (synonyymi)