Let X —> Y —> Z be morphism of schemes. Let P be one of the following properties of morphisms of schemes: flat, locally finite type, locally finite presentation. Assume that X —> Z has P and that {X —> Y} can be refined by an fppf covering of Y. Then Y —> Z is P. See Tag 06NB.