En matemáticas e lóxica, un corolario é un teorema de menor importancia que se pode deducir facilmente dunha afirmación anterior máis importante. Un corolario podería ser, por exemplo, unha proposición que se proba de xeito incidental mentres se proba outra proposición[1]