My idea of proving this theorem is presented in the attacheded document. May be it is not worth your time but I was facinated by the simplicity of the proposition and devoted a good amount of time and thinking.
I think very well done. I would suggest you input this into (a.i.) chat. Ask it if there are any contradictions. Ask it if your inductions are free of flaws.
