Does exists a proof of the Poincaré Duality version for non-compact manifolds without using the Zorn's Lemma? I know that there is a proof using the Whitney embedding theorem, but I don't know this theorem's proof, so I don't know if it uses the Zorn's Lemma too.