MathCastle
Proof WritingHardWriting It Up

Writing It Up · Hard problem

A draft proof that 5∤n2+n+15 \nmid n^2 + n + 1 reads: (A) every integer is ≡0,1,2,3\equiv 0, 1, 2, 3 or 4(mod5)4 \pmod 5; (B) for n≡0,1,2n \equiv 0, 1, 2, n2+n+1≡1,3,2n^2 + n + 1 \equiv 1, 3, 2; (C) for n≡3,4n \equiv 3, 4, n2+n+1≡3,0n^2 + n + 1 \equiv 3, 0; (D) so 5∤n2+n+15 \nmid n^2 + n + 1. Which line contains an error?