Эквивалентные условия совершенной секретности симметричной криптосистемы

Я читал об идеальной секретности в криптосистемах и наткнулся на два определения, которые оказались эквивалентными.

Во-первых, это секретность Шеннона:

Криптосистема $(\кал К, \кал М$, $\text{Общ., Доп., Дек.})$ считается секретным по Шеннону, если для всех дистрибутивов $\кал D$ над $\кал М$ и для всех $m\in\cal M, c\in \cal C$ $Pr_K[M=m| С=с]=Pr_K[M=m]$

куда $К,М,С$ случайные величины, распределение которых задается распределением на $\кал М, \кал К$.

Второй — совершенная секретность:

Криптосистема $(\кал К, \кал М$, $\text{Общ., Доп., Дек.})$ говорят, что он обладает полной секретностью, если для всех $m_1,m_2\in\cal M, c\in \cal C$ $Pr_K[Enc(K,m_1)=c]=Pr_K[Enc(K,m_2)=c]$

Мой вопрос в том, эквивалентно ли это следующему:

для всех $c_1,c_2 \in \cal C, m\in \cal M$:

$Pr_K[Dec(K,c_1)=m]=Pr_K[Dec(K,c_2)=m]$

Заранее спасибо.