¿Quién fue el primero en explicar la construcción de las pirámides?