variance of product of two independent random variables proof