Proof of a conjectural supercongruence. - Xiang-Zi Meng; Zhi-Wei Sun (Finite Fields Their Appl., 2015)