A proof of the Corrected Beiter conjecture - Jia Zhao; Xianke Zhang (2009)