Кто покопался внутри египетских пирамид и зачем перестроили пространство?

В 1638 году английский математик и астроном Джон Гривс посетил Египет. Он впервые зарисовал схему пирамиды Хеопса в разрезе.
Гривс своими глазами видел спуск от входа, восходящий коридор и галереи в камеру царя и царицы. Но можно ли стоять в 46-ти метровом коридоре, не заметив своей над головой своды высотой с трехэтажный дом?
Получается, на момент свидетельства пирамид свода не было. Египтяне, конечно, продвинутые ребята, но до чугуна фараоны не додумались.