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∘(ψ×IdM){\displaystyle {}f\circ (\psi \times \operatorname {Id} _{M})} betrachtet.