added first half of proof number three
restructured
added second part of third proof
Merge branch 'release/third-proof'