archimedes hat-box theorem