On Dwork's P-Adic Formal Congruences Theorem and Hypergeometric Mirror Maps

Using Dwork's theory, the authors prove a broad generalization of his famous p-adic formal congruences theorem. This enables them to prove certain p-adic congruences for the generalized hypergeometric series with rational parameters, in particular, they hold for any prime number p and not only for almost all primes.