Why are we allowed to decompose a function of two variables $f(x,y)$ into the form $\sum_n^\infty c_n(y)\psi_n(x)$?
Expanding two-variable function $f(x,y)$ over the complete sets $\{ g_{i}(x) \}$ and $\{ h_{j}(y) \}$