Addition theorem of probability