Just to let you know that I did not give up, this is coming. I’ve redacted all of the proof on paper, and have typed most of it, which unfortunately takes a quite large amount of time, which sometimes is a bit annoying (1). But in the end I’ll be happy with this demonstration, since I’ve had no bad surprises, actually I only found some more elegant way to do some of the things, than I at initially thought. And everything seems to me as sound and reasonable, and to clearly prove what I claimed. I will probably post it here by the end of the week.
(1) That’s why I have to confess some of my last messages may sometimes have been written with some slightly pissed off notes, and I apologize for that, and thank you for staying cool with it.