Et korollar er i matematik en sætning, der følger umiddelbart af en anden, allerede bevist sætning.