Flyspeck/lemma-1-2-a