Chain rule for Kolmogorov complexity

The chain rule for Kolmogorov complexity describes how the complexity of a joint object can be expressed in terms of the complexities of its components. Specifically, it provides a way to break down the complexity of a joint string \( x, y \) into the complexity of one of the strings conditioned on the other.