extended the abovementioned proof of incremental compilation theorem