function-f_factorial_nr.sql and procedure-p_validate.sql