Proof. [03UB]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.33 3 We thank to Ofer Gabber for suggesting the proof below It suffices to prove that -dimensional cells are dense in , where . For any open we have .
The last group is nontrivial, because for any non-empty open the integration map is onto. Therefore .