Korolarija ili korolar (lat. corollarium) je zaključak, posledica. U matematici je to vrsta teoreme, očigledna posledica osnovne teoreme ili teorema kojoj posebno dokazivanje nije potrebno jer očigledno sledi iz prethodne teoreme.