K: 体, V: Kベクトル空間.
f, g_1, …, g_n: V→K: linear.
とする. このとき以下を示せ.
∩[i=1, …, n]Ker(g_i)⊂Ker(f)⇔∃λ_1, …, λ_n∈K, f+Σ[i=1, …, n]λ_i*g_i=0.