Right. For people who don't know the wealth of evidence we are talking about here, the Egyptians left very detailed records including wages of the people working on the pyramids[1], paintings showing the numbers of people needed to move heavy objects and how they lubricated the sand beneath the skids[2] etc

[1] They weren't slaves, they were salaried workers, and there are records of how much they got paid and how many of them there were.

[2] and the numbers check out when you do the standard "block on an inclined rough plane" thing you learn in 1st year mechanics. Check out https://sites.uwm.edu/nosonovs/2017/11/05/about-djehutihotep... where you can clearly see the pains they have gone to in order to ensure the numbers of workers are accurately portrayed