4 Dado un primo $p\ge 11$ , sea $S$ un subconjunto de $\mathbb{Z}_p\times\mathbb{Z}_p$ con $3p-3$ elementos. Demuestre: $S$ tiene un subconjunto $T$ con $p-1$ elementos, tal que $\sum_{x\in T}x\equiv (0,0)(mod \ p)$ .