Vinogradov's Theorem/Lemma 1

Not needed