9.8 Un conjunto no vacío $S$ de números naturales se llama especial si para cualquier elemento $a$ el conjunto $S$ contiene números distintos $b$ y $c$ , diferentes de $a$ , tales que $a = 2023 \cdot \gcd(b,c) + 1$ . ¿Existe un conjunto especial cuyo número de elementos sea a) finito; b) infinito?