Исправление в разделе Расстояние единственности.

В формуле (строка 142) не используется H(C|K) = H(C|M).
Наоборот это утвержение (H(C|K) = H(C|M)) доказывается из цепочки равенств.