Consideremos a formula_17 como extensión de formula_16.