Igualdad de múltiplos comunes mínimos

Sean $n$ y $k$ enteros positivos tales que o bien $n$ es impar o bien $n$ y $k$ son pares. Probar que existen enteros $a$ y $b$ tales que  $$mcd (a, n) = mcd (b, n) = 1, k = a + b.$$