Common use of Lemma Clause in Contracts

Lemma. Denote ( )D := Hom( , Q/Z). Let A and B be finitely gener- ated abelian groups and let AD and BD be the corresponding groups of cofinite type. Then every extension of BD by AD is again a group of cofinite type. Namely, any such extension is equivalent to