(define one (lambda (f) (lambda (x) (f x))))
(define two (lambda (f) (lambda (x) (f (f x)))))
(define (add n m)
  (lambda (f) (lambda (x) ((n f) ((m f) x)))))
(define (mul n m)
  (lambda (f) (lambda (x) ((n (m f)) x))))