Kが有限生成R加群ならばKはR上整
整域の整拡大の一方が体ならどちらも体になるからRは体