Proof of Andrews' conjecture on a_4φ_3 summation - Victor J. W. Guo (2010)