Why Do Mathematicians Re-prove Theorems?