(
(lambda x (x x))
(lambda x (lambda y (x x)))
) = Y F
(lambda x (lambda y (x x)))
(lambda x (lambda y (x x)))
= F F
(lambda y1 (
(lambda x (lambda y (x x)))
(lambda x (lambda y (x x)))
))
= F (Y F) = F (F F)
(lambda y1 ( (lambda y2 (
(lambda x (lambda y (x x))) (lambda x (lambda y (x x)))
)) ) = F (F (Y F)) = F (F (F F))