"With the addition of a correction
channel equal to or exceeding in capacity the amount of
noise in the original channel, it is possible to so encode (
see encoding) the correction
data sent over this channel that all but an arbitrarily small fraction of the errors contributing to the noise are corrected. This is not possible if the capacity of the correction channel is less than the noise" (
see redundancy). This theorem is an isomorph of the
law of requisite variety. (
Krippendorff)