Proof of two conjectures of Z.-W. Sun on congruences for Franel numbers - Victor J. W. Guo (2012)