  Gorenstein projection plays a key role in birational geometry; the typical
example is the linear projection of a del Pezzo surface of degree d to one of
degree d-1, but variations on the same idea provide many of the classical and
modern birational links between Fano 3-folds. The inverse operation is the
Kustin--Miller unprojection theorem (A. Kustin and M. Miller, Constructing big
Gorenstein ideals from small ones, J. Algebra 85 (1983) 303--322), which
constructs "more complicated" Gorenstein rings starting from "less complicated"
ones (increasing the codimension by 1). We give a clean statement and proof of
their theorem, using the adjunction formula for the dualising sheaf in place of
their complexes and Buchsbaum--Eisenbud exactness criterion. Our methods are
scheme theoretic and work without any mention of the ambient space. They are
thus not restricted to the local situation, and are well adapted to
generalisations. The final section contains examples, and discusses briefly the
applications to graded rings and birational geometry that motivate this study.
