[apetresc]

Not just that one; practically every useful theorem about primes would have to be rewritten to "if p is a prime other than 1".