A Proof of Equation 5

Neural Information Processing Systems 

The following theorem justifies the DBbonus under the Bayesian linear regression perspective.