added lemma from Das paper