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.
Victor J. W. Guo (Tue,) studied this question.