El enunciado formal de la hipótesis es el siguiente.