It's always possible to argue further, but it's not really what led to the foundation of the HRE. Rather, it was a creation of the pope Leo III which he offered

It's always possible to argue further, but it's not really what led to the foundation of the HRE. Rather, it was a creation of the pope Leo III which he offered to Charlemagne, as the conclusion of a long feud with the ERE and the wish of the pope to split from it.