Es sei R {\displaystyle {}R} ein kommutativer Ring und M {\displaystyle {}M} ein R {\displaystyle {}R} -Modul vom Rang 1 {\displaystyle {}1} . Es gebe einen freien Modul G ≅ R n {\displaystyle {}G\cong R^{n}} derart, dass M ⊕ G {\displaystyle {}M\oplus G} frei ist.
Dann ist M {\displaystyle {}M} selbst frei.
