Es sei R {\displaystyle {}R} ein noetherscher lokaler Ring.
Dann ist die Komplettierung R ^ {\displaystyle {}{\hat {R}}} ein treuflacher R {\displaystyle {}R} -Modul.
