finished naturality of delta in lemma 6.1