この建議によって、この年7月15日(8月31日)、「延喜」と改元された。