Writing It Up · Hard problem

Odd integers have the form $2k - 1$, not $2k + 1$

It should use $2k + 1$ and $2k + 3$

Using the same $k$ covers only the case where the two integers are equal

Nothing: it is a complete proof