Dies folgt aus Fakt, indem man zu i ∈ { 1 , … , n } {\displaystyle {}i\in {\{1,\ldots ,n\}}} und P ∈ U {\displaystyle {}P\in U} die lineare Kurve
vorschaltet und f ∘ ( ψ × Id M ) {\displaystyle {}f\circ (\psi \times \operatorname {Id} _{M})} betrachtet.