A fully quantum theory of high-gain free-electron laser. (13th September 2016)