Es sei R {\displaystyle {}R} ein kommutativer Ring
Dann ist jeder freie R {\displaystyle {}R} -Modul projektiv.