Lemma 27.13.8. Let $X$ be a scheme. The following are equivalent:

1. $X$ is Nagata, and

2. $X$ is locally Noetherian and universally Japanese.

Proof. This is Algebra, Proposition 10.156.15. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).