(noun.) (logic) an inference that follows directly from the proof of another proposition.
(noun.) a practical consequence that follows naturally; 'blind jealousy is a frequent corollary of passionate love'.
赫克托整理
杰奎琳编辑