命題
環の射 A → B → C において、
B は A 上整とする
B → C が全射なら、C は A 上整である。

証明
明らか。