Flyspeck/lemma-1-11

Annotations
This lemma was proven by Michael, using Isabelle. (Proof object)