List_of_formulas_in_elementary_geometry loading ...