ノルム付きベクトルたちスペース（空間）たちマップ（写像）のデリバティブ（微分係数）のレシデュー（残余）は第2引数のポイントにおいてディファレンシャブル（微分可能）である、もしも、元のマップ（写像）が対応するポイントにおいてディファレンシャブル（微分可能）である場合、そしてデリバティブ（微分係数）は第1引数ポイントにおける元のマップ（写像）デリバティブ（微分係数）のマイナスプラス対応するポイントにおける元のマップ（写像）デリバティブ（微分係数）、ことの記述/証明
話題
About: ベクトルたちスペース（空間）
