Gravar-mail: Theorems Relating to the History of Mathematics