ParentFull threadegdod·2 isn’t an alien, exactly... but it’s a little bit of an oddball amongst the primes. There are indeed a lot of theorems that start with “let p be an odd prime.”View on HN