補題
A を環、M を A-加群とする。
M-正則(前スレ１の 179)な A の元全体は A の乗法に関して閉じている。

証明
M-正則の定義(前スレ１の 179)から明らかである。