Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
We first show that the system of equations implies , so that does project to . To see this, we notice the first three equations imply
(7.9)
If , then we get . If , then by the third equation we get that either or . In the first case using the remaining equations we get . In the second case we get . In both cases the equation is indeed satisfied.
Now we study singularities of . In the affine chart , we get
(7.10)
so we reduce the defining equations to a single equation in the variable given by
(7.11)
This has exactly one singularity at . Similarly, on the affine chart we reduce the equations to
(7.12)
This has exactly one singularity at .
On the affine chart , we reduce the equations to
(7.13)
which is smooth.
It is then easy to verify that the projection map is an isomorphism outside the point , and if , we get the equation