A short proof of the wonderful lemma. Issue 3 (18th May 2017)