; Factor out Y.




(define Y  (lambda (j)
             (let ((i (lambda (f)               
                        (lambda (n)
                          ((j (f f)) n) ))))
               (i i))))

(let ((g (lambda (h)  
           (lambda (n) 
             (if (= n 0) 1 (* n (h (- n 1))))))))
 ((Y          ; NOW PASS the value of g DIRECTLY TO Y
     g)  5))