- Montrer que $~f~$ est injective.
- Montrer que $~f~$ est surjective ( on pourra utiliser la décomposition en facteurs premiers )
On considère l'application $f$ définie par:
\begin{align*}
f:\mathbb{N}^2&\to \mathbb{N^*}\\
(n,p)&\mapsto (2p+1)2^n
\end{align*}