Критерий выделяемости взаимной информации для тройки слов

Говорят, что у тройки слов $a$, $b$, $c$ выделяется взаимная информация, если существует такое слово $d$, что $a$, $b$ и $c$ независимы относительно $d$, причем $d$ просто относительно каждого из слов $a$, $b$, $c$. В статье доказывается, что для существования такого $d$ необходимо и достаточно, чтобы величины взаимных информации $I(a:b|c)$, $I(a:c|b)$, $I(b:c|a)$ были пренебрежимо малы по сравнению с колмогоровской сложностью тройки $K(a,b,c)$.