The Stacks project

Proof. Choose a scheme $U$ and a surjective smooth morphism $U \to \mathcal{X}$. Denote $G \to H$ the pullback of the morphism $\mathcal{I}_\mathcal {X} \to \mathcal{X} \times _\mathcal {Y} \mathcal{I}_\mathcal {Y}$ to $U$. By Remark 101.45.2 and Lemma 101.36.9 the morphism $G \to H$ is étale. Condition (1) is equivalent to the condition that $G \to H$ is an isomorphism (this follows for example by applying Properties of Stacks, Lemma 100.3.3). Condition (2) is equivalent to the condition that for every $u \in U$ the morphism $G_ u \to H_ u$ of fibres is an isomorphism. Thus (1) $\Rightarrow$ (2) is trivial. If (2) holds, then $G \to H$ is a surjective, universally injective, étale morphism of algebraic spaces. Such a morphism is an isomorphism by Morphisms of Spaces, Lemma 67.51.2. $\square$