This is now a proof and no longer a theory so this makes is more of an AI Paper. But the section on that still needs some work.
Andre Heinecke