la llamada "primero" ("n") devolverá 1 siempre y cuando "n" formula_3 1, y "nulo" en otro caso; la función "siguiente" ("n","c") debe devolver "c" + 1 si "c" formula_4 "n", y "nulo" caso contrario; "válido" ("n","c") devolverá verdadero si y solo si "c" es un divisor de "n".