It was formulated by Archimedes .
It was not proved rigorously until the 19th century , by Hermann Schwarz .
It was formulated by Archimedes but not proved rigorously until the 19th century , by Hermann Schwarz .