“…The first characterization is used in [3,4], while the second one is used, for example, in [5,6,28]. Writting ψ = D g S m ϕ for ϕ ∈ C ∞ (S m , S(S m )) and noting that ψ = D g S m ϕ = 0 if and only if ϕ = 0 (this is because (S m , g S m ) has positive scalar curvature and ker D g S m = {0} via the Lichnerowicz formula), and the density of C ∞ (S m , S(S m )) in W 1, 2m m+1 (S m , S(S m )), we have the equality in (4.6).…”