1.
Log. Proposition dérivant immédiatement d'une autre. Conséquence directe d'un théorème déjà démontré. 2.
Didact. Conséquence, suite naturelle. Avoir pour corollaire. Corollaire obligé.
1.
Énoncé directement déduit d'un autre déjà prouvé ou admis.
2.
Conséquence naturelle.
3.
Qui est la suite logique et directe.