COROLLAIRE. n. m. T. de Mathématiques. Conséquence qui découle de quelque proposition déjà démontrée et dont la déduction n'exige pas de démonstration spéciale, n'ayant besoin que d'être énoncée pour être établie d'une manière évidente. On dit par extension, dans le langage courant, Cela est le corollaire de ce que nous avons déjà prouvé.
Tout ou partie de cette définition est extrait du Dictionnaire de l'Académie française, huitième édition, 1932-1935