For , define and . The binomial coefficient formula shows for every nonnegative integer . Since these integers are dense in the p-adic integers, continuity of the polynomial implies , so it is an integer-valued polynomial there and . The Pascal's identity gives for the forward difference operator.