Let R be a ring. Let x ∈ R. Assume

- R is a normal Noetherian domain,
- R/xR is a Japanese domain,
- R = lim R/x
^{n}R is complete with respect to x.

Then R is Japanese. See Tag 032P.

Let R be a ring. Let x ∈ R. Assume

- R is a normal Noetherian domain,
- R/xR is a Japanese domain,
- R = lim R/x
^{n}R is complete with respect to x.

Then R is Japanese. See Tag 032P.