Como "a" y "b" son coprimos, el teorema de los restos chinos, consecuencia de la identidad de Bézout afirma que "f" es sobreyectiva: "Im f" = Z×Z.