When is the distribution of product of two normal distributed variables ...