Title: Formulas and theorems in pure mathematics