theorem about the probability of hypotheses