Kommutativer Ring/Freier Modul/Ist projektiv/Fakt

Es sei ein kommutativer Ring

Dann ist jeder freie -Modul projektiv.