Es sei R{\displaystyle {}R} ein Hauptidealbereich und M{\displaystyle {}M} ein endlicher torsionsfreier Modul.
Dann ist M{\displaystyle {}M} frei.