Proofs for certain conjectures of Gosper on Pi_q - Bing He (2019)