Kolmogorov complexity
The chain rule for Kolmogorov complexity states that