Supongamos que formula_1 es regular.