BF
DM

Lemma (1)