El cuerpo formula_15 es una extensión de formula_16.