は1904年、"f"("a") ＝ 0であるような不動点 "a" のある近傍における解析解 "f" の存在を示した。