A consequence of the theorem is that if R is a Nagata ring, then every R-subalgebra of finite type is again a Nagata ring (Nishimura 1976).
En konsekvens av satsen är att om R är en Nagataring, så är varje R-delalgebra av ändlig typ en Nagataring (Nishimura 1976).