El ejemplo prototipo es formula_11 dado por formula_12.