Finitely generated and integral equals finite

From Commalg

Statement

Let be a homomorphism of commutative unital rings. Then is a finite morphism if and only if is finitely generated and integral.