補題
M を n 次元多様体とする。
p を M の点とする。
v を p における任意の余接ベクトル、即ち T_p(M)^* の元とする。

このとき M 上の一次微分形式 θ が存在し、θ_p = v となる。

証明
(x_1, ..., x_n) を p の開近傍 U での局所座標とする。
v = Σa_i(dx_i)_p とする。ここで a_i, i = 1, ..., n は実数である。

ω = Σa_idx_i は U における一次微分形式である。
>>278より、p の開近傍 V (V ⊂ U) と M 上の一次微分形式 θ が存在し、
V 上で ω = θ となる。

θ_p = v である。
証明終