Linearization of the Product of Associated Legendre Polynomials