De hecho, el parámetro formula_1 puede ser encontrado de manera explícita, en la demostración se dan detalles de ello.