No, he's right. "For any odd prime" is a not-unheard-of expression. It is usually to rule out 2 as a trivial case which may need to be handled separately.

https://en.wikipedia.org/wiki/Fermat%27s_theorem_on_sums_of_two_squares

https://www.jstor.org/stable/2047029

https://www.jstor.org/stable/2374361

[–] wischi@programming.dev 1 points 1 year ago (1 children)

It's not unheard of no, but if you have to rule out two for some reason it's because of some other arbitrary choice. In the first instance (haven't yet looked at the second and third one) it has to do with the fact that a sum of "two" was chosen arbitrary. You can come up with other things that requires you to exclude primes up to five.

[–] kogasa@programming.dev 1 points 1 year ago

Okay? Like I said, it's usually to rule out cases where 2 is a trivial edge case. It's common enough that "for any odd prime / let p be an odd prime" is a normal expression. That's all.