add lemma 1.9