harmonic addition theorem