; Bind (G y) to fac. The end result.




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

(let ((fac (Y (lambda (h)    
                (lambda (n) 
                   (if (= n 0) 1 (* n (h (- n 1)))))))))
  (fac 5))


; We are done!