is a birational mapping which, away from "e", induces an isomorphism, and, on "e", a locally trivial fibration with fiber p. indeed, the restriction formula_39 is naturally seen as the projectivization of the normal bundle of "z" in "x".