Sea formula_4 la aplicación (cambio de coordenadas) tal que especificadas unas coordenas sin barrar, da las correspondientes coordenadas barradas.