Going down for flat extensions

From Commalg

Statement

Suppose is a flat extension i.e. is a subring of a commutative unital ring and is flat as a -module. Then, if are prime ideals of , and contracts to , there exists such that , and contracts to .

References