A direct proof of the five element basis theorem. Issue 3 (27th October 2017)