Encuentra una condición necesaria y suficiente de $a,b,n\in\mathbb{N^*}$ tal que para $S=\{a+bt\mid t=0,1,2,\cdots,n-1\}$ , existe un mapeo biunívoco $f: S\to S$ tal que para todo $x\in S$ , $\gcd(x,f(x))=1$ .