La función Predecesor  PRED "n" = "n" - 1  de un entero positivo "n" es más compleja: