Inserted iteration index k until Lemma 4.2
Introduction now according to qualification remarks