Теорема (о равносильности свойств условной и безусловной вероятности)