BSR matheux-03 !!!!
Je crois savoir que 1999 et 2000 sont premiers entre eux donc d'après l'identité de BEZOUT : il existe p et q dans Z tels que
1999p+2000q=1 ; de là il résulte que pour tout z dans Z :
z=z.1=z.{1999p+2000q}=1999.(pz)-2000.(-qz)
Donc choisir xo=pz et yo=-qz
Ton application f est donc SURJECTIVE de ZxZ sur Z .
A+ BOURBAKi