est une fonction strictement croissante définie sur ℕ et à valeurs dans ℕ

telle que f(2) = 2 et pour tous entiers naturels p et q , f(pq) =

(p) × (q).

Démontrer que pour tout entier naturel , f(n) =n .