donde formula_35 significa "sustituya el valor de formula_1 por del de formula_37", y devolver expresa el resultado del algoritmo y su terminación.