Share Lemma 3.17 closed immersion from A to A/I; spec k(x) to X map to x;