lambda1@tg says to YSITD if p is a root of f, i.e. f(p) = 0, then if you cam construct a function g such that g(p) = p, then we can reduce the problem into finding the fixed point of g