Formulas and theorems in pure mathematics