Question Number 67055 by Tony Lin last updated on 22/Aug/19
$${let}\:\mathbb{Z}_{+} =\mathbb{N}\cup\left\{\mathrm{0}\right\},\:{f}:\:\mathbb{Z}_{+} ×\mathbb{Z}_{+} \rightarrow\mathbb{Z}_{+} \\ $$$${f}\left({m},\:{n}\right)=\frac{\left({m}+{n}\right)\left({m}+{n}+\mathrm{1}\right)}{\mathrm{2}}+{m} \\ $$$${prove}\:{that}\:{f}\:{is}\:{a}\:{one}-{to}-{one}\:{function} \\ $$$${and}\:{also}\:{an}\:{onto}\:{function} \\ $$