  In this paper, using $p$-adic analysis and $p$-adic L-functions, we show how
to extend classical congruences (due to Wilson, Gauss, Dirichlet, Jacobi,
Wolstenholme, Glaisher, Morley, Lemher and other people) to modulo $p^k$ for
any $k>0$.
