“…Moreover, since Z ultra is compact (by (4)) and Z # is Hausdorff (by (3)), id Z is a closed map (cf., for instance, [8, Chapter IX, Theorem 2.1]), and hence is a homeomorphism (cf., for instance, [8, Chapter III, Theorem 12.2]). Finally, the equality Z # = Z cons follows immediately from (4) and from the definition of the constructible topology.…”