Proof of a conjecture on the zero forcing number of a graph. - Leihao Lu; Baoyindureng Wu; Zixing Tang (Discret. Appl. Math., 2016)