marginal distribution of bivariate normal proof