f,g∈Ｃ∞（Ｍ）が、ｐを含む開集合Ｕに対して、
Ｕ上　ｆ＝ｇ
⇒Ｖｐ（ｆ）＝Ｖｐ（ｇ）　　（Ｖｐは任意の接ベクトル）

（ｐを含む開集合Ｕ上で関数が一致すれば、Ｖｐで微分した値は等しい）

の証明を教えてください。