>>586 「無理」ってどういうこと? Σ[k ∈ φ] b_k = 0 になるんじゃないの?