La adición sobre formula_3 claramente ha de definirse así: