[math-fun] The Roman Pantheon = Hat Box Theorem