Kolmogorov complexity
Chain rule for Kolmogorov complexity.