. . . "If n is a positive integer and p is a prime, then np ??? n is divisible by p." . .