[amluto]

Aside from the 1 vs -1 issue, the proof finds all integers x such that p is prime. So I think it’s fine.