命題
A を環、B を有限生成かつ整な A-代数とする。
B は A 上有限である。

証明
>>507 と >>508よりわかる。
証明終