In this paper, we prove two supercongruences conjectured by Z.-W. Sun via the Wilf–Zeilberger method. One of them is, for any prime p > 3, 4 F 3 [ 7 6 1 2 1 2 1 2 1 6 1 1 | - 1 8 ] p - 1 2 = p ( - 2 p ) + p 3 4 ( 2 p ) E p - 3 (mod p 4) , where (· p) stands for the Legendre symbol, and En is the n-th Euler number.