Your proof is correct. There is only one thing I would clean up.
After establishing $N > m$ and that $P(j)$$P(k)$ is true for all $j < N$$k < N$, just immediately apply (b) to get P(N) is true (Here $N$ is playing the role of $k$, and $k$ is playing the role of $j$).