  The realization theorem asserts that for a finitely presented group G, the
D(2) property and the realization property are equivalent as long as G
satisfies a certain finiteness condition. We show that the two properties are
in fact equivalent for all finitely presented groups.
