donde formula_2 es el complemento a bit de formula_3.