conditional distribution of bivariate normal proof