コルモゴロフ複雑性
Chain rule for Kolmogorov complexity.