Esta proposición expresa que las propiedades de cálculo usuales para los números naturales, también son legítimas para los números estructurados mediante operaciones inversas.