[mortenlwk]

Proof by meditation/introspection.

I have done this following a lot of handwaving in an introduction to a chapter.