# Isomorphism of first infinitesimal neighborhoods

Take an abelian variety $X$ over a field and consider $Z$ to be the first infinitesimal neighborhood of the diagonal in $X\times X$.

Let furthermore $Y$ be the first infinitesimal neighborhood of the point $0$ in $X$.

Then why does one have an isomorphism

$Z \simeq X\times Y$?

-