Strengthened approximation lemma, as required
Checked citation
Added todo notes