  In this article, we provide an application of hypergeometric evaluation
identities, including a strange valuation of Gosper, to prove several
supercongruences related to special valuations of truncated hypergeometric
series. In particular, we prove a conjecture of van Hamme.
