A short proof of the Wedderburn-Artin theorem. Issue 7 (3rd July 2017)