10.8 Se da una sucesión $a_1,\ldots,a_n$ de enteros positivos. Para cada $l$ desde $1$ hasta $n-1$ se considera la lista $(gcd(a_1,a_{1+l}),\ldots,gcd(a_n,a_{n+l}))$, donde los índices se toman módulo $n$. Resultó que todas estas listas constan de los mismos $n$ números distintos dos a dos y difieren solo, posiblemente, en su orden. ¿Puede $n$ ser a) $21$ b) $2021$?