DEN airport elevation is actually 5430.
The 10k MSL altitude contained in 14 CFR 121.542 was written by Washington DC attorneys working for the FAA. It is an arbitrary altitude, but generally crew workload is highest at altitudes closer to the ground.