Added Stanovsky's Lemma 4.
Added Stanovsky's Lemma 6.