Proof. [00L9]
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.
By Proposition 3.20, the left hand side is identified with , which is contained in the open subset . This open subset is contained in which is identified with , hence this open subset is contained in the topological interior of the later, the right hand side. ∎