Une façon plus ancienne, mais qu'il faut connaître, exprime un théorème sous la forme de condition nécessaire ou sous la forme de condition suffisante. Prendre bien garde qu'un théorème admet ces deux expressions.
