Definamos la composición de la función formula_9 con formula_4, de forma que dadas unas coordenadas sin barrar, obtengamos el valor que formula_9 da a dichas coordenadas a través del cambio de coordenadas formula_4