Se nos da un conjunto $S=\{z_1,z_2,\cdots ,z_{1993}\}$ , donde $z_1,z_2,\cdots ,z_{1993}$ son números complejos no nulos (también vistos como vectores no nulos en el plano). Demuestre que podemos dividir $S$ en algunos grupos tales que se cumplan las siguientes condiciones: (1) Cada elemento en $S$ pertenece y solo pertenece a un grupo; (2) Para cualquier grupo $p$ , si usamos $T(p)$ para denotar la suma de todos los miembros en $p$ , entonces para cualquier miembro $z_i (1\le i \le 1993)$ de $p$ , el ángulo entre $z_i$ y $T(p)$ no excede $90^{\circ}$ ; (3) Para cualquier dos grupos $p$ y $q$ , el ángulo entre $T(p)$ y $T(q)$ excede $90^{\circ}$ (use la notación introducida en (2)).