Product of two natural numbers is also natural.
Yes, this prove is correct. Make sure to mention in the beginning that you pick $m$ as an arbitrary natural number. Since then you get the result that the multiplication of ANY two natural numbers is a natural number. Also don't forget to address the zero element (if you consider that to be a natural number).
Well, one can define addition and multiplication as follows:
$m+0=m, ~m\cdot 1 = m$
$m+n' = (m+n)', ~m\cdot n' = m\cdot n+m$
where $n'$ is the successor of $n$ defined by the injective mapping $n\mapsto n'$ with $0$ not in the image set.
Using induction on $n$, it's clear that both operations are well-defined.