Lambda calculus - Eater

Hej jag håller på att lära mig lambda calculus och har fastnat lite.

Find closed lambda-terms F such that
(i) Fx = F. This term can be called the ‘eater’ and is often denoted by K∞;
(ii) Fx = xF;

Skulle uppskatta en bra förklaring!

(upg från nätet: http://www.cs.ru.nl/~herman/onderwij...lambda-sel.pdf)