Flyspeck/lemma-1-2-b