Esto último significa que formula_3 es localmente un producto