Laguerre polynomials
The addition formula for Laguerre polynomials: