Estas aplicaciones están bien definidas, y claramente formula_102 y formula_103.