this post was submitted on 09 Aug 2023
666 points (95.1% liked)
Memes
45583 readers
1318 users here now
Rules:
- Be civil and nice.
- Try not to excessively repost, as a rule of thumb, wait at least 2 months to do it if you have to.
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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
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.
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.