Aquí formula_17 es el complementario de A en E.