complete first_factorial