The mean credibility formula is a bayes rule