prove some lemmas about the length of transformed operations