consisting of "infinite sum" of vector resolute formula_1 in direction formula_11, bessel's inequality tells us that this series converges. one can think of it that there exists formula_12 that can be described in terms of potential basis formula_13.