Let m>2m>2 and q>0q>0 be integers with mm even or qq odd. We show the supercongruence ∑k=0p−1(−1)km(p/m−qk)m≡0(modp3).k=0∑p−1(−1)km(kp/m−q)m≡0(modp3). for any prime p>mqp>mq. This confirms a conjecture of Sun.
生成讲解博客的中文版本
生成AI智能校验的中文版本