En 1057, cuando se eligió como papa a un nuevo Esteban y se había ya adoptado la costumbre de añadir un número, este tomó como nombre Esteban IX.