Tal que es bilineal, es decir, tal que para todo formula_3: