Show homogenization preserves topological closedness

[ooovi]

we get that polytopes are closed from this since cones are ProperCones if they are DualClosed (the dual of sth is always proper). that would be annoying to prove in affine space because it uses duality