一致の定理
局所的になこと（より弱く点の集積点であること）と微分係数が全てであることが同値である。
微分係数がから局所的になのはよい。 逆は、もしでない微分係数があれば、という議論をすればいい。
全ての微分係数がになるという条件は開かつ閉である。
閉なことは導関数の連続性から。 開なことは、もしで上の条件を満たすなら、でのテイラー展開を考えることでその収束円板上でも局所的にであることが言えて、 その点におけるテイラー展開の係数が全てなことが言える。
実際に点が集積点を持つならば、上記の集合が空でないことが言えて、 連結性から全体と一致する。