Infinite Divisibility of the Product of Two Correlated Normal Random Variables and Exact Distribution of the Sample Mean

We prove that the distribution of the product of two correlated normal random variables with arbitrary 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.