Theorems are the permanent literature of mathematics.