Más concluyente es el hecho de que la montaña de la Bola del Mundo, una de las más altas de la sierra de Guadarrama, era conocida antaño como Gran Guarrama y, posteriormente, como Alto de Guarramillas, topónimos que también están presentes en otros lugares de la sierra.