ネーター環
2. The completion of a Noetherian ring "R" is a flat module over "R".