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