D.Lemma_HVD