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

1. R is a normal Noetherian domain,
2. R/xR is a Japanese domain,
3. R = lim R/xⁿR is complete with respect to x.

Then R is Japanese. See Tag 032P.