proof of fixed points of normal functions
Suppose is a -normal function and consider any and define a sequence by and . Let . Then, since is continuous,
So is unbounded.
Suppose is a set of fixed points of with . Then
so is also a fixed point of , and therefore is closed.