add lemma for clarification