enunciado de la conjetura de Erdos-Turan