4 Halle todos los números naturales $n > 1$ para los cuales existen números naturales $a_1,a_2,...,a_n$ tales que los números $\{a_i +a_j | 1 \le i \le j \le n \}$ forman un sistema completo módulo $\frac{n(n+1)}{2}$ .