Suppose that $x+1$ is even, such that there exists and integer $k$ such that $x+1=2k$.
$$x+1 = 2k\implies x=2k-1$$
since $k$ is an integer and $L+1$ is also an integer $k := L+1$
$$x=2(L+1)-1 \implies x=2L+2-1 \implies x=2L+1$$
Since $x$ follows the definition of odds, if $x+1$ is even, $x$ is odd.
Is this proof sound? I feel like I might have gone awry when I said "since $k$ is an integer and $L+1$ is also an integer $k := L+1$."