A Very Short Proof that the Sum of Independent Normal Random Variables Is Normal. (1st March 2017)