finished one version of substitution lemma for eintervals