Add additional conclusion to lemma in flat.tex