Share #4.14 sections of global sections F(X) are bijective to maps {O_x to F}