Added Stanovsky's Lemma 3.