; Get 5 out of (lambda (g) ...)




(let ((g (lambda (h)   
           (lambda (n) 
             (if (= n 0) 1 (* n (h (- n 1))))))))
 (((lambda (j)                ; NOW FACTOR OUT (lambda (j) ...)
     (let ((i (lambda (f)     ; TO A NAMED FUNCTION Y
                (lambda (n)
                  ((j (f f)) n) ))))
       (i i)))   
  g)  5))