Stacks 01W5 theorem

Let $Y$, $X$ be schemes, and possibly some arrows, satisfying the following conditions:

Then

References