Proof of a conjectural supercongruence

Let m>2m>2 and q>0q>0 be integers with m even or q odd. We show the supercongruence∑k=0p−1(−1)km(p/m−qk)m≡0(modp3) for any prime p>mqp>mq. This confirms a conjecture of Sun.