Chain rule for Kolmogorov complexity
 
x
OK