shift_shift_distr
substitution lemma