5.24 La operación se muestra en una variable; ella muestra cómo se puede llegar de una forma de proposiciones a otra.

Ella expresa la diferencia de las formas. (Y lo común entre las bases y el resultado de la operación son simplemente las bases).