“…Since is countable, and is Polish, it suffices to show that implies . Note that the case is actually taken care of by [, Lemma 18 and Observation 19], but for completeness of exposition we give a direct proof also in the case . For and , let be such that satisfies no further demands in the case , and generates in the case .…”