6.01 La forme générale de l'opération [math]\displaystyle{ \Omega ' (\bar{\eta}) }[/math] est donc : [math]\displaystyle{ [\bar{\xi}, N(\bar{\xi})]' (\bar{\eta}) (= [ \bar{\eta}, \bar{\xi}, N (\bar{\xi}) ]) }[/math].

Ce qui est la forme générale du passage d'une proposition à une autre.