Proof of a supercongruence modulo p2r$p^{2r}$

Abstract Employing Watson's terminating transformation, we present a ‐analog of the following supercongruence: for any prime and positive integer , which was conjectured by Z.‐W. Sun in 2011, thus confirming Sun's conjecture. Further, applying a very‐well‐poised summation and the creative microscoping method introduced by the author and Zudilin, we extend this supercongruence to the modulo case. We also give some similar results for primes . Finally, we propose two conjectures on relevant supercongruences for further study.