Source redundancy in cryptanalysis

For ciphertext alphabet $\Sigma$ and source entropy $H$, each symbol has redundancy $\log |\Sigma |-H$, leading in Shannon's ideal model to $U=\log |K|/(\log |\Sigma |-H)$.