Definimos la operación interna en formula_2: