The new intersection theorem and descent of flatness for integral extensions

The new intersection theorem is used to derive a criteria for flat descent in the setting of integral ring extensions. Applications, such as “purity of branch locus” for extensions of normal domains, are noted.