Un '''corol·lari''' és una [[proposició]] [[matemàtica]] que és conseqüència immediata d'una altra proposició prèviament demostrada.
En [[matemàtiques]] un corol·lari es dedueix normalment d'un [[teorema]]. La utilització del terme ''corol·lari'', enllocen lloc de ''[[proposició]]'' o ''teorema'', és molt subjectiva. La Proposició ''B'' és un corol·lari de la proposició ''A'' si ''B'' es pot deduir fàcilment de ''A'' o es fa evident de la seva demostració, però el significat de ''fàcilment'' o ''evident'' pot variar depenent de l'autor i el context. La importància del corol·lari és, normalment, secundària respecte al teorema inicial; ''B'', difícilment es considerarà un corol·lari si les seves conseqüències matemàtiques són tan significatives com les de ''A''. A vegades, un corol·lari té una breu demostració que explica la seva obtenció, altres vegades la seva obtenció es considera evident.