Sea $ \,n > 6\,$ un entero y $ \,a_{1},a_{2},\cdots ,a_{k}\,$ sean todos los números naturales menores que $ n$ y relativamente primos con $ n$ . Si \[ a_{2} - a_{1} = a_{3} - a_{2} = \cdots = a_{k} - a_{k - 1} > 0, \] demuestre que $ \,n\,$ debe ser un número primo o una potencia de $ \,2$ .