Corolario

1: una proposición (ver la entrada de proposición 1 sentido 1c) inferida inmediatamente de una proposición probada con poca o ninguna prueba adicional...