Un corolar în matematică este o afirmație care poate fi demonstrată cu ușurință dintr-o afirmație anterioară.
În matematică , o consecință este o teoremă cu puține dovezi, care decurge dintr-o altă teoremă [1] . Utilizarea termenului corolar în locul „ enunț ” sau „teoremă ” este subiectivă.
Enunțul B este o consecință a enunțului A dacă B poate fi dedus ușor din A. Consecința este, de regulă, secundară teoremei principale; dacă consecința joacă un rol important, atunci este puțin probabil să fie numită o consecință.