let formula_57 be generic homogeneous polynomials of degree formula_58 (meaning their associated projective varieties intersects at formula_59 points by bézout's theorem). the following projective morphism of schemes gives a model of blowing up formula_60 at formula_59 points:formula_62