Overlap of arbitrary--l functions:
with 
and 
defined as before. Applying the fullness of the
gaussian product theorem (equation 1.10),
where
Noting that any odd value of i produces a zero integral, and then
using equation 1.41 for 
,
by equation 860.17 in Dwight.