Lemma 114.4.6. Let $A \to B$ be a finite type, flat ring map with $A$ an integral domain. Then $B$ is a finitely presented $A$-algebra.

Proof. Special case of More on Flatness, Proposition 38.13.10. $\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).