4 Para $n(n\geq3)$ enteros positivos $a_1,a_2,\cdots,a_n$ . Coloque los números sobre una circunferencia. En cada operación, calcule la diferencia entre dos números adyacentes y tome su valor absoluto. Coloque los $n$ números obtenidos en otra circunferencia (sin cambiar su orden). Halle todos los $n$ tales que, sin importar cómo se den $a_1,a_2,\cdots,a_n$ , todos los números de la circunferencia sean iguales después de un número finito de operaciones.