Flatting lemmas done.