  We prove that the distribution of the product of two correlated normal random
variables with non-zero means and arbitrary variances is infinitely divisible.
We also obtain exact formulas for the probability density function of the sum
of independent copies of such random variables.
