If the “unicity of corresponding chunking” theorem holds (which seems fairly obvious to me, though I lack the formality to prove it), then this also holds:
- C(A + B) = C(A + C(B)) \geq A + C(B)
- C(A + B) = C(C(A) + B) \geq C(A) + B
If the “unicity of corresponding chunking” theorem holds (which seems fairly obvious to me, though I lack the formality to prove it), then this also holds: