Definiția cu ID-ul 794461:

Explicative DEX

corolar n. consecvență, rezultanta unei propozițiuni deja demonstrată.