命題
K を自明でない絶対値(過去スレ006の414,422)をもつ可換体とする。
E, F, G を K 上のノルム空間(過去スレ006の561)とする。
U を E の開集合とし、p ∈ U とする。
V を F の開集合とする。

f: U → V を写像とし、df(p) が存在するとする。
T: F → G を連続線型写像とする。

このとき、d(Tf)(p) が存在し、
d(Tf)(p) = Tdf(p) となる。

証明
>>58と>>62より出る。