A short proof of smooth implies flat. Issue 2 (1st February 2017)