>>580
でも、
Σ[k ∈ φ]a_k = 0
ですよね?