general theorem of probability