Archimedes' hat-box theorem