Exc I.2.9: Projective Closure of an Affine Variety

Finally satisfied with the proof.