A coding theorem for bit-interleaved coded modulation

We prove a coding theorem for bit-interleaved coded modulation. We show that the residual correlation among the parallel sub-channels induced by the demapper does not reduce the information rate. The total rate is given by the sum of the mutual informations per bit J(Bj; Y). This implies that an interleaver is not required to remove the correlation.