Sea $p$ un primo, $A$ es un conjunto infinito de enteros. Demuestra que existe un subconjunto $B$ de $A$ con $2p-2$ elementos, tal que la media aritmética de cualquier $p$ elementos distintos por pares en $B$ no pertenece a $A$.