不動点の存在を示すだけでなく
その点を決定するアルゴリズムまで述べた
不動点定理にはどんなものがあるでしょう