Demostrar que dado un conjunto de n enteros positivos, existe un subconjunto no vacío cuya suma es divisible por n