Isolation lemma (source code)

= Isolation lemma
{wiki=Isolation_lemma}