ARAS DE ALPUENTE: Es el mismo pueblo?

Es el mismo pueblo?
Respuestas ya existentes para el anterior mensaje:
Sí, es el mismo municipio:

El Pleno del Consejo Valenciano de Cultura, mediante acuerdo adoptado el 24 de noviembre de 2000, aprobó, por unanimidad, el informe sobre el cambio de denominación de Aras de Alpuente por Aras de los Olmos.