Fue enunciado en 1977 por el matemático estadounidense Barry Mazur (n.