Wenn B ein Hauptidealring ist, so sind alle projektiven B [X, Y]-Moduln frei. Hartmut Lindel (1976) Mathematische Annalen