Premise: España mantuvo la denominación «Fiesta Nacional de España y Día de la Hispanidad» hasta el año 1957, en que pasó a denominarse a Día de la Hispanidad.
Hypothesis: No cambiaron el nombre de la conmemoración del descubrimiento de América hasta el año 1957.