More on the proof
Even more on the proof
Replaced some TODOs
This is really not a proof. But being ill does not help being clear.