Por la condición anterior, es evidente que todos los valores generados por este procedimiento son números enteros entre 0 y formula_7.