We now show how one can modify Cartan’s version [Car58] of the proof of Grauert’s Oka principle [Gra57a, Gra57b, Gra58] to obtain Theorem 9.1. Let N⊂H⊂C be compact Hausdorff spaces as before, and we consider the corresponding sheaves F and LF define…