Es sei R ein noetherscher faktorieller Integritätsbereich und U⊆Spek(R) eine offene Teilmenge.
Dann ist die Picardgruppe von U trivial.