lambda1@tg
says to
YSITD
a fixed point of a function g is defined as a number p such that g(p) = p