Shadowing lemma (source code)

= Shadowing lemma
{wiki=Shadowing_lemma}