normal conjugate prior proof