6.01 La forma general de la operación [math]\displaystyle{ \Omega ' (\bar{\eta}) }[/math] es, por lo tanto: [math]\displaystyle{ [\bar{\xi}, N(\bar{\xi})]' (\bar{\eta}) (= [ \bar{\eta}, \bar{\xi}, N (\bar{\xi}) ]) }[/math].

Esta es la forma más general de la transición de una proposición a otra.