Paraphrase: since it is a formal theorem , bayes ' theorem holds in all popular interpretations of probability .
as a formal theorem , bayes ' theorem is valid in all common interpretations of probability .