I had second thoughts about the draft proof already posted here.
Using a couple of theorems (called 1.1.3 and 1.1.8, attached), the proof becomes much simpler and more straightforward.
But I think I am justified in my oversight, as I studied these theorems so long ago that Tim Berners Lee had yet to invent the www ; )
Brussi 2026_Theorem_1.1.3 and 1.1.8
Brussi 2026_Dedekind theorem 2
please, rate this post
