情報理論の分野において非常に重要な定理の一つである。