Proof. [04SQ]
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.
Note that, since is defined over , we have . Note that extends to a map which is an isomorphism, since . ∎