gation Theorem" (DNT).
This is the proof that was given by George Spencer-Brown in his
book 'Laws of Form', and therein credited to two of his students,
John Dawes and D.A. Utting.

Just to be clear about the basis of this proof, I will record here
the exact forms of the axioms that I will be using, devolving from
Peirce's "Logical Graphs" via Spencer-Brown's "Laws of Form" (LOF).
I will use the annotation scheme from LOF to mark the steps of the
proof according to which axiom (or "initial") is being invoke