Démontrer l'implication suivante:
\[
\forall(a,b)\in\N\times\N,\ \pgcd{a}{b}=1 \Longrightarrow \forall n\in\N, n\geqslant2, n \nmid a\text{ et }n \nmid b.
\]

