  We prove hypergeometric type identities for a function defined in terms of
quotients of the $p$-adic gamma function. We use these identities to prove a
supercongruence conjecture of Rodriguez-Villegas between a truncated $_4F_3$
hypergeometric series and the Fourier coefficients of certain weight four
modular form.
