In mathematica e logica, un corollario es un conclusion facile, simple e trivial. Sovente illo pote esser concludite de un definition, un lemma, un theorema o un prova sin grande effortio. Le distinction inter theoremas, lemmas e corollarios es subjective.
