400 (number) sum of twelve consecutive primes (13 + 17 + 19 + 23 + 29 + 31 + 37 + 41 + 43 + 47 + 53 + 59) 413 = 7 × 59, Mertens function returns 0, self number 414 = 2 × 3 × 23, Mertens function returns 0, nontotient, Harshad number 415 = 5 × 83, 416 = 2 × 13 417 = 3 × 139 418 = 2 × 11 × 19, sphenic number, A prime number, Sophie Germain prime, Chen prime, Eisenstein prime with no imaginary part, highly cototient number, Mertens function returns 0 A prime
Prime number is also a sufficient condition for formula_20 to be prime. Wilson's theorem says that an integer formula_145 is prime if and only if the factorial formula_146 is congruent to formula_147 mod formula_20. For a composite this cannot hold, since one of its factors divides both and formula_149, and so formula_150 is impossible. The formula_20-adic order formula_152 of an integer formula_1 is the number of copies of formula_20 in the prime factorization of formula_1. The same concept can be extended from integers to rational numbers by defining the formula_20-adic order of a fraction formula_157 to be formula_158. The formula_20-adic absolute value