Add a section, introduction to fixed point theorem from yukimi's site.