Franz (2016) Some theorems on incremental compression(1)