This is an extension of Kolmogorov complexity.
Esta é unha propiedade importante da complexidade de Kolmogorov.