Kommutativer Ring/Modul/Rang 1/Freie Ergänzung/Frei/Fakt

Es sei ein kommutativer Ring und ein -Modul vom Rang . Es gebe einen freien Modul derart, dass frei ist.

Dann ist selbst frei.