This problem has Hartshorne Height 1.
- the primes of are in bijection with the primes of not containing
- this problem shows its not just a bijection but an isomorphism in terms of schemes.
- the correspondence goes and .
- (can prove by universal property argument)
- use the correspondence above to define a continuous map .
- define a map of sheaves
- this can be done by defining it on distinguished affines and using the last result of commutative algebra.