Substitution lemma proved for de Bruijn terms