>>249
一次元は初等的にわかるけど多次元になると
不動点定理を使った証明が簡単で美しい
微分方程式の解の存在証明と同じ考え方だし