Donde la función formula_4 que aparece en el sistema anterior viene dada por: