Lemma 6.3. Assuming that:

$ϕ, ψ \in Hom (E_{1}, E_{2})$
$ω$ an invariant differential on $E_{2}$

Then

{(ϕ + ψ)}^{*} ω = ϕ^{*} ω + ψ^{*} ω