Key Theorem: Dialectical Arithmetic.

Full Title -- 

A Key Theorem of the _NQ Arithmetic for Dialectics.

Dear Readers,

Below I have pasted-in a JPEG image featuring an assertion -- without proof -- of a key theorem of the Seldonian First Arithmetic for Dialectics, _NQ_, together with that of one of this theorem's most immediate, and relevant, corollaries.

Try proving this theorem for yourself, from the _NQ_ axioms, also pasted in below, again, for your convenience.

Regards,

Miguel