bivariate normal distribution proof