The quasi-compactness of gives a finite cover by the affine principal neighbourhoods constructed above. Because at every point some is a unit in the local ring, the map of coherent sheaves
is surjective. Its kernel is a coherent submodule of the trivial bundle, so by part (a). The long exact sequence in sheaf cohomology makes the map on global sections surjective. Lifting supplies
This is the unit-ideal certificate from a principal affine cover.